zehnpaard
@zehnpaard
あひるうさぎさんチーム（後期ヴィトゲンシュタイン派）・Python/C++/OCaml/Clojure・金融・囲碁
リテラルなしIfなしワンライナーなFizzBuzzの解説記事を書いた zehnpaard.hatenablog.com/entry/2021/04/…
(f:=lambda *a,x=id,Fizz=id,Buzz=id:(z:=len(a)) or print((k:=sorted(f.__kwdefaults__))[f(f)]*(x%f(f,f,f)==z)+k[z]*(x%f(f,f,f,f,f)==z) or x) or f(x=x+f(f)))(x=f(f))
Introducing Jane Street's OxCaml Branch!: Jane Street is a well-known OCaml powerhouse. They have a reputation for expertise and a long history of supporting the open-source community. Jane Street have been developing experimental… dlvr.it/TLsXTF #OCaml #OCamlPlanet
Delighted that "The Calculated Typer" with @zacgarby and @pa_ba has been accepted for the Haskell Symposium in Singapore :-) people.cs.nott.ac.uk/pszgmh/typer.p…
Hot take: the programming languages research community should focus less on complex solutions to very narrow problems in the name of novelty, and more---on making existing solutions accessible to LLMs
Hot take: the programming languages research community should focus less on complex solutions to very narrow problems in the name of novelty, and more---on making existing solutions accessible to non-experts.
So, what direction does that push in? Perhaps towards features like refinement types, or dependent types? And perhaps towards multiple views of source code, where there's more written to support the verification process, which is mostly dropped for the human view.
We're starting to think about how to evolve OCaml to be a more effective language for agentic programming. One intuition here is that agents change what's important in 2 ways: - the toil of writing matters less - the ease of understanding and verifying matters more
Direct-style Lwt concurrency library thanks to OCaml effect handlers. discuss.ocaml.org/t/ann-lwt-6-0-… Nice to see that the whole implementation is only 130 LoC on top of 30k LoC in Lwt. github.com/ocsigen/lwt/bl…
FUNOCaml 2025 Talk "OxCaml From a System Engineer's Point of View" 📅 Sept 15-16, Warsaw Dmitriy Kovalenko (Rust/C/Zig dev) evaluates 0xCaml for systems programming through building odiff, a high-performance image comparison library. Comparative analysis + practical insights
Well, here we go. After well over two years, here's a new version of my programming languages book, PLAI (v3.2.5). As always, free of cost! Can't thank enough all the people named in the acknowledgments. Enjoy! plai.org
unit tests are the most important documentation in a codebase
unit tests are the least important tests in a codebase