mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Server stats:

2.8K
active users

#ocamlplanet

4 posts4 participants0 posts today

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… tarides.com/blog/2025-04-23-fe #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 alan.petitepomme.net/cwn/2025. #OCaml #OCamlPlanet

alan.petitepomme.netOCaml Weekly News

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… ocamlpro.com/blog/2025_02_19_t #OCaml #OCamlPlanet

Outreachy December 2024 Demo: The OCaml community participated in the December 2024 round of [Outreachy internships](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 ... watch.ocaml.org/videos/watch/7 #OCaml #OCamlPlanet

www.outreachy.orgOutreachy | Internships Supporting Diversity in TechAn internship program that supports diversity in free and open source software. Learn more by visiting our website!

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… alan.petitepomme.net/cwn/2025. #OCaml #OCamlPlanet

alan.petitepomme.netOCaml Weekly News

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… tarides.com/blog/2025-04-11-ex #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 alan.petitepomme.net/cwn/2025. #OCaml #OCamlPlanet

alan.petitepomme.netOCaml Weekly News

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,… batsov.com/articles/2025/04/06 #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)… batsov.com/articles/2025/04/06 #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… batsov.com/articles/2025/04/04 #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… youtube.com/watch/g3qd4zpm1LA? #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… tarides.com/blog/2025-04-03-oc #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… batsov.com/articles/2025/03/30 #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 alan.petitepomme.net/cwn/2025. #OCaml #OCamlPlanet

alan.petitepomme.netOCaml Weekly News