Regions with OCaml's Local Types | OCaml Unboxed

This OCaml Unboxed episode describes regions and the hidden regional mode in OCaml's local types, as developed by Jane Street. It turns out that local parameters aren't really local: they're regional! This explains how some impossible-looking programs actually work. View instructions to get the compiler I use in this video: https://github.com/janestreet/opam-repository/tree/with-extensions Full documentation of locals: https://github.com/ocaml-flambda/flambda-backend/blob/main/ocaml/jane/doc/extensions/local/intro.md

13 Jun 2024

Jane Street - OCaml Unboxed

View Video
Secure From the Ground Up: Introducing the FIDES Project Combining RISC-V and MirageOS

We entrust some of our most sensitive information to an invisible stream of information flowing back and forth across the globe…

05 Jun 2024

Tarides

Read Article
Exploring the Hidden Secrets within OCaml’s Local Function Types | OCaml Unboxed

This OCaml Unboxed episode demonstrates how partial application and currying can cause trouble when mixed with locals. It turns out that putting "local_" in your function type may do more than you bargained for! Code used in this video: https://github.com/goldfirere/janestreet-videos/blob/main/locals/08-function-types/local.ml View instructions to get the compiler I use in this video: https://github.com/janestreet/opam-repository/tree/with-extensions Full documentation of locals: https://github.com/ocaml-flambda/flambda-backend/blob/main/ocaml/jane/doc/extensions/local/intro.md

29 May 2024

Jane Street - OCaml Unboxed

View Video
Effective ML Through Merlin's Destruct Command

The Merlin server and OCaml LSP server, two closely related OCaml language servers, enhance productivity with features like autocompletion…

29 May 2024

Tarides

Read Article
From Computer to Production With Nix

Article developing a flake.nix that you can use for development, testing and building for production releases

22 May 2024

Emil Privér

Read Article