The OCaml Planet

Features of the Notafs filesystem for MirageOS which, designed to be used on satellites with SpaceOS, lets users use Irmin as a filesystem for MirageOS.

Announcing a new filesystem for MirageOS projects, designed to be used on satellites with SpaceOS, that also lets developers use Irmin with MirageOS!

David Sancho Moreno's FUN OCaml 2024 talk recording! Overview by David: server-reason-react implements react-dom/server and some of React's internals in OCaml. Its purpose is to natively render HTML markup from the server for a Reason React application. This pushes the idea for universal code (sharing code between the browser and native) and this talk is the story of all of this, and what are the solutions we applied at Ahrefs. server-reason-react: https://github.com/ml-in-barcelona/server-reason-react Connect with us Website: https://fun-ocaml.com/ Twitter: https://x.com/FunOCaml Bluesky: https://bsky.app/profile/fun-ocaml.com

Paul-Elliot Anglès d'Auriac's FUN OCaml 2024 talk recording! Overview by Paul-Elliot: This talk is a gentle introduction to the documenting part of the OCaml ecosystem. We will see how to use `odoc` to build nice documentation for your `dune`-based project, from a bare repository to a documentation with both API pages and documentation pages. odoc: https://github.com/ocaml/odoc Connect with us Website: https://fun-ocaml.com/ Twitter: https://x.com/FunOCaml Bluesky: https://bsky.app/profile/fun-ocaml.com

Sudha's FUN OCaml 2024 talk recording! Overview by Sudha: In a first, OCaml 5.0 shipped with native support for parallelism and concurrency. This was a multi-year effort by the Multicore team and the OCaml development team that culminated in OCaml 5.0. The most challenging aspect was designing a multicore-capable garbage collector that remains backwards compatible in terms of features, performance, and latency. This is described in the paper 'Retrofitting Parallelism onto OCaml,' which appeared in ICFP 2020. In this talk, we will explore the ideas presented in the paper through doodle illustrations and zines. Connect with us Website: https://fun-ocaml.com/ Twitter: https://x.com/FunOCaml Bluesky: https://bsky.app/profile/fun-ocaml.com

Hannes Mehnert's FUN OCaml 2024 talk recording! Overview by Hannes: OCaml is a great systems programming language. We use it since more than a decade to develop MirageOS unikernels: run OCaml as a virtual machine, no Linux kernel involved. Since OCaml is statically typed (and type safe), and memory safe, we use a single address space, and avoided a lot of complexity of general purpose operating systems. Security-wise this is excellent: less attack surface, fewer attack vectors. Also less resource-heavy than contemporary OS. The result are tiny unikernels (e.g. a firewall with ~3MB as the full virtual machine image) that only contain the code really needed. I'll present what MirageOS is today and where it is used, its future, and our learnings so far. https://mirage.io Connect with us Website: https://fun-ocaml.com/ Twitter: https://x.com/FunOCaml Bluesky: https://bsky.app/profile/fun-ocaml.com

Dmitriy Kovalenko's FUN OCaml 2024 talk recording! Overview by Dmitriy: I am the author of dmtrKovalenko/odiff which claims to be and it is the fastest in the world (on my banchmarks lol) implementation of the pixel-by-pixel image comparison library which is written in OCaml (and a little bit of C). This is a story about standing the project. Why not to write it in C or Rust? How do we tune the garbage collector to avoid major collections at all? All this and much more like the hidden superpower of unboxed floats and some challenges about naked pointers and upgrading to OCaml v5 in my talk! odiff: https://github.com/dmtrKovalenko/odiff Connect with us Website: https://fun-ocaml.com/ Twitter: https://x.com/FunOCaml Bluesky: https://bsky.app/profile/fun-ocaml.com

Eduardo Rafael's FUN OCaml 2024 talk recording! Overview by Eduardo: Traditionally GADT's are used for lightweight tasks as the code complexity increases quite. I will be arguing that this is mostly a lack of common "design patterns" and maybe some tools. The talk will go through describing what you can fundamentally do with GADT's, how you should think about them and a general technique to mimic dependent types in OCaml, Hopefully by the end, a show case of a proposal for the Michelson interpreter. Connect with us Website: https://fun-ocaml.com/ Twitter: https://x.com/FunOCaml Bluesky: https://bsky.app/profile/fun-ocaml.com