tsmc.purely-functional.com
OCaml and Haskell connoisseur. Principal software engineer at Tarides. Compilers, runtimes, garbage collection, and general systems hackery.
More at https://lambdafoo.com
37 posts
123 followers
26 following
Regular Contributor
Active Commenter
comment in response to
post
Hadn’t thought about publishing it there. Once I’ve done the editing I’ll share a link to it.
comment in response to
post
I would keep the distributed process section, as there’s not really an equivalent Actor library in Haskell. The section on exceptions in Haskell is wonderful. More coverage on GPUs and patterns for building concurrent applications.
comment in response to
post
Congratulations! I know you’ve been working on this for some time.
comment in response to
post
This is cool. However I’ve never had an invite to the lobster site. Can anyone hook me up with one?
comment in response to
post
Exactly. This is why I want frame pointers for OCaml and to introduce a stable USDT interface for the GC. Do you have a write up on how you did that?
comment in response to
post
Interesting! I expect there are other corners that will be problematic like effects that I haven’t thought about. Right now I’m focusing on the GC and seeing what useful things can get out of that.
comment in response to
post
You can implement multishot continuations as a library in OCaml. github.com/dhil/ocaml-m...
comment in response to
post
Honestly it an accumulation of knowledge over time. Either reading books or source code or building my own version of something to understand how it works.
comment in response to
post
I think that’s accurate. Sometimes I’m writing assembly for codegen or fixing DWARF CFI, sometimes OCaml and recently I’ve been writing debugger support in C++.
comment in response to
post
Debugging support for macOS is improved with accurate backtraces, more improvements coming in 5.4 like frame pointers and tweaked name mangling scheme so you can set breakpoints in OCaml code.
comment in response to
post
comment in response to
post
Staring from github.com/xclerc/ocaml... it couldn’t be more than a few weekends. Update to 4.14 and then a few fixes to move onto 5. 🤣
comment in response to
post
Indeed I am. Please ping me with any issues.
comment in response to
post
Could you add me Sabine?
comment in response to
post
It's usually on at least once a year in Morocco retreat.mirage.io
comment in response to
post
Awesome, hope to see you in person next year.
comment in response to
post
Hi Josh 👋 from another Australian. I'm working with OCaml, mainly hacking on the compiler but sometimes working with OCaml (rather than on it). If you're around Sydney come along to FP-SYD, there's a few of us using OCaml for things.
comment in response to
post
Wonderful work Dmitrii. What kinds of topics are you covering?
comment in response to
post
OCaml USDT DTrace needs to become a thing in 2025.
comment in response to
post
Hi David 👋
comment in response to
post
For macOS and Linux the state of debugging is good. Planning to work more next year on support for DWARF and name mangling so we can an even better experience.
comment in response to
post
I've been using DAP with VSCode and codelldb. Then you can treat it like C/assembly. I wrote up something on the Emacs setup for it here. lambdafoo.com/posts/2024-0...
comment in response to
post
You should switch to LLDB rather than GDB. That way the commands would work for both Linux and macOS, ignoring the assembly differences.