Viewing profile — lambda_foo

The type system for effects is an ongoing research effort. For now you get unhandled effect exceptions at runtime. With Multicore OCaml we gained thread sanitizer support and a rea…

Strongly agree, plus OCaml has an expressive type system that lets you build abstractions that just aren’t possible with Go. The original article gives poor reasons for choosing Go…

With OCaml 5 supporting effect handlers I expect MirageOS will go in that direction. It’ll make for more readable code than LWT.

My own repo in the OP :-)

It's really fascinating the different little evaluators that exist in DWARF. I started writing one for the DWARF expression format ( https://github.com/tmcgilchrist/durin/pull/7 ) …

It is heavily WIP at the moment so I haven't published to opam just yet. You'll need to compile from source if you want to try it out. I'm filling in examples as I need them and pu…

Author here, a bit cringe to see your WIP project posted here. My motivation for writing this from scratch is to simultaneously understand DWARF 5 in all its gory details, develop …

Why have the OP in the loop at all if he’s just sending prompts to AI? Surely it’s a wonderful piece of performance art.

Pretty much. I guess it’s open source but it’s not in the spirit of open source contribution. Plus it puts the burden of reviewing the AI slop onto the project maintainers and the …

The fact that Itanium had register windows was such a strange choice. I thought they had been shown to not be worthwhile like branch delay slots in MIPS. Basically hangovers from t…

Thanks for sharing, I had no idea about this project. Could you share some more details about where this project is used? Links to those open positions for OCaml developers would b…

Using DAP with VSCode and OCaml's bytecode debugger ( https://github.com/hackwaly/ocamlearlybird ) works reasonably well already. My blog post above can be modified to work with VS…

David Christiansen did a more recent experience report from 2019 about using Dependently Typed Haskell at Galois. https://davidchristiansen.dk/pubs/dependent-haskell-experien... Th…

Even if Oracle tried, SPARC performance was terrible and their value for money was too. We benchmarked a finance system (Transaction Processing) where we needed 3x the SPARC hardwa…

Sure, you will need to write a major mode but honestly it's not that hard to get syntax highlighting working. If you follow something like https://www.masteringemacs.org/article/le…

There is a pretty complete wasm_of_ocaml port to the Eliom web framework here https://github.com/ocsigen/eliom/pull/767 It seems like it’s a relatively easy swap from js_of_ocaml t…

They are targeting two different intermediate representations in the compiler. wasm_of_ocaml is a fork of js_of_ocaml that consumes OCaml bytecode and emits Wasm instead of JavaScr…

Shout out to https://github.com/samuelkarp/runj which aims to provide OCI compatible runtime for FreeBSD jails. We are working on a Jails based sandbox implementation for running O…

It's not clear to me why you'd choose OCaml over Haskell. I understand that OCaml isn't lazily evaluated like Haskell and has a simpler to understand compiler which gives a better …

Nice to see others with the same attitude. It's a thing of beauty to see a room cleared of clutter and reduced to the bare minimum of furniture/stuff. We follow a very similar proc…