Feature Parity Series: Restoring the MSVC Port: After the release of OCaml 5, restoring any features that were left out of the initial release has been a high priority for our teams and collaborators. We call this effort our 'feature parity' project, and compaction is one example of a feature being brought back to OCaml 5 under its banner.
In this post, we look at another returning property, MSVC support, and the steps along the path to… https://tarides.com/blog/2025-04-23-feature-parity-series-restoring-the-msvc-port?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet
OCaml Weekly News, 22 Apr 2025: * Flambda2 Ep. 4: How to write a purely functional compiler, by OCamlPro
* R and D Engineer Positions available at OCamlPro, in Paris (France)
* Release of ocaml-eglot 1.2.0
* Outreachy December 2024 Round
* Dune 3.18
* opam 2.4.0~alpha1
* ML Family Workshop 2025: Call for Presentations
* Other OCaml News https://alan.petitepomme.net/cwn/2025.04.22.html?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet
Flambda2 Ep. 4: How to write a purely functional compiler: As we dive deeper into the Flambda2 Optimising Compiler, who knows what marvels might await us. Picture: Son Doong Cave (Vietnam). Credit: Collected.
Welcome to a new episode of The Flambda2 Snippets!
Today, we will cover key high-level aspects of the algorithm of Flambda2. We
will do our best to explain the fundamental design
decisions
pertaining to the architecture of the… https://ocamlpro.com/blog/2025_02_19_the_flambda2_snippets_4?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet
Outreachy December 2024 Demo: The OCaml community participated in the December 2024 round of [Outreachy internships](https://www.outreachy.org). One intern worked on a tool for diffing OCaml APIs.
This meeting was an opportunity for our intern to present their work and for ... https://watch.ocaml.org/videos/watch/70ef58ff-ff7c-40d6-ab19-e886e4e98205?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet
OCaml Weekly News, 15 Apr 2025: * Semgrep is hiring OCaml developers to help develop our supply chain security product!
* Subprocess: a library for launching and communicating with Unix commands
* cudajit: Bindings to the ~cuda~ and ~nvrtc~ libraries
* qcheck-lin and qcheck-stm 0.2
* Call for Volunteers to Help Maintain the Opam-Repository
* Dune package management update
* Ocsigen public meeting
* Looking for Maintainers / Moderators for the… https://alan.petitepomme.net/cwn/2025.04.15.html?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet
Advent of Hardcaml: Advent of Code is an annual Advent calendar
featuring small programming puzzles created by Eric Wastl, which has been running
every December since 2015. Being the puzzle-lovers we are, a bunch of us at
Jane Street participate in Advent of Code every year. https://blog.janestreet.com/advent-of-hardcaml-2024/?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet
Expanding Dune Package Management to the Rest of the Ecosystem: Since we published The Dune Developer Preview a lot of things have improved on the package management front. While the developer preview has demonstrated how Dune can manage dependencies in a unified workflow, we have been working on making it practical for more projects to adopt Dune to handle their package dependencies. Our goal is to slowly move from a developer preview to a mature… https://tarides.com/blog/2025-04-11-expanding-dune-package-management-to-the-rest-of-the-ecosystem?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet
DNSvizor - run your own DHCP and DNS MirageOS unikernel - gets some testing: The NGI-funded DNSvizor provides core network services on your network; DNS resolution and DHCP. https://blog.robur.coop/articles/dnsvizor02.html?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet
OCaml Weekly News, 08 Apr 2025: * Ocsigen public meeting
* Roguetype
* Ppx_untype: An end to type errors in OCaml
* Second of Two Lessons on Polymorphic Variants: Practical Usecases
* Caqti 2.2.4 Release and Plans
* update for the magick-core-7
* gegl-0.4 _
* Dune 3.18
* QCheck 0.24
* checked_oint v0.5.0: Safe integer arithmetic for OCaml
* Outreachy December 2024 Round
* OUPS meetup april 2025
* Other OCaml News https://alan.petitepomme.net/cwn/2025.04.08.html?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet
What's new with Mollymawk?: In this article we explore the journey Mollymawk has been on, inlcuding getting an (NGI0 core) NLnet grant, updates and more. https://blog.robur.coop/articles/mollymawk-first-milestone.html?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet
Learning OCaml: Module Aliases: OCaml is famous for allow you to do a lot of things like modules. Like really a lot!
Advanced features like functors, aside, it’s really common to either alias
module names to something shorter or localize open Module_name to a smaller
scope:
(* module alias *)
module Printf = P
(* open module for subsequent scope *)
let open Printf in
let portfolio = List.map parse_line portfolio_lines in
List.iter (fun (ticker,… https://batsov.com/articles/2025/04/06/learning-ocaml-module-aliases/?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet
Learning OCaml: Parsing Data with Scanf: In my previous article I mentioned that OCaml’s
Stdlib leaves a lot to be desire when it comes to regular
expressions. One thing I didn’t discuss back then was that
the problem is somewhat mitigated by the excellent module
Scanf, which makes it easy to parse structured data.
Image that we’re dealing with a simple investment portfolio,
where we have multiple records containing:
* Ticker symbol (e.g. AAPL)… https://batsov.com/articles/2025/04/06/learning-ocaml-parsing-data-with-scanf/?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet
Learning OCaml: Regular Expressions: One of the things that bothered me initially in OCaml was the poor support for
working in regular expressions in the standard library.
Technically speaking, there’s no support for them at all!
What do I mean by this? Well, there’s the older Str library that provides support for regular expressions, but it’s:
* not really a part of the standard library (it’s bundled with OCaml, but not part of Stdlib)
* it… https://batsov.com/articles/2025/04/04/learning-ocaml-regular-expressions/?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet
Making OCaml Safe for Performance Engineering: Jane Street is a trading firm that uses a variety of high-performance systems built in OCaml to provide liquidity to financial markets worldwide. Over the last couple of years, we have started developing major extensions to OCaml’s type system, with the primary goal of making OCaml a better language for writing high-performance systems. In this talk, we will attempt to provide a developer's-eye view of… https://www.youtube.com/watch/g3qd4zpm1LA?version=3&utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet
OCaml in Space: SpaceOS is on a Satellite!: OCaml is in space! With its impressive performance and security guarantees, OCaml is a great choice for the many interconnected devices that power our world. Satellites are not only crucial to the functioning of these devices, but the new generation of satellites are beginning to function like Cloud servers, where one device hosts more than one software and performs more than one service.
The natural next… https://tarides.com/blog/2025-04-03-ocaml-in-space-spaceos-is-on-a-satellite?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet
OCaml Weekly News, 01 Apr 2025: * MlFront_ZipFile - High-level API for zip files
* MlFront_Cache - Transient caches + slowly varying data
* New lesson on polymorphic variants
* The OBazl Toolsuite 3.0.0.beta.1
* Dune dev meeting
* Other OCaml News https://alan.petitepomme.net/cwn/2025.04.01.html?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet
Why F#?: If someone had told me a few months ago I’d be playing with .NET again after a
15+ years hiatus I probably would have laughed at this.1 Early on in my
career I played with .NET and Java, and even though .NET had done some things
better than Java (as it had the opportunity to learn from some early Java
mistakes), I quickly settled on Java as it was a truly portable environment.
I guess everyone who reads my blog knows that in the past few… https://batsov.com/articles/2025/03/30/why-fsharp/?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet
Pushing the opam-repository into a sustainable repository: The main opam-repository was only ever growing by collecting all releases of all packages. We worked hard on reducing the load for all clients by archiving packages. https://blog.robur.coop/articles/2025-03-26-opam-repository-archive.html?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet
OCaml Weekly News, 25 Mar 2025: * Ocsigen migrating to effect-based concurrency
* Slipshow!
* Odoc 3.0 released!
* 4th editor tooling dev-meeting: 28th of March
* The Call for Papers for FUNARCH2025 is open!
* Proposal for the replacement of Set and Map in the stdlib
* A tool to reverse debug OCaml (and other binaries) runs
* Feedback request: New lesson on ~Lazy~
* OCaml Workshop 2025 at ICFP/SPLASH - announcement and call for proposals https://alan.petitepomme.net/cwn/2025.03.25.html?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet