OCaml
- ocaml.org
- source
- Awesome OCaml
- Js_of_ocaml
- Playgrounds
- Courses
- dune: documentation, source
- opam: documentation, source
- odoc
- OxCaml
- personal notes
Articles and videos
- The origin of the pipeline operator (|>) by (May 22nd, 2025) ► The title says it all.
-
Curry-Howard Correspondence
- The Curry-Howard Correspondence by (August 9th, 2021) ► An introduction to Curry–Howard correspondence: the equivalence between types / programs / evaluation on one side and propositions / proofs / simplification on the other side.
- The Deep Link Equating Math Proofs and Computer Programs — Mathematical logic and the code of computer programs are, in an exact way, mirror images of each other. by (October 11th, 2023) ► A description of the Curry-Howard correspondence with no mathematical examples.
-
F#
- YUI Theater — Adam Granicz: “Robust and Rapid Web Development with WebSharper” (57 min.)🗑️ by (April 21st, 2010) ► A marketing presentation of WebSharper, a platform to write both the client and server sides using F#.
- An Introduction to F# with Don Syme (#1 of 4)↓🗑️ by and (September 2010) ► A verbose presentation of the advantages of F# with no technical information, this is mostly marketing bullshit.
- An F# Tutorial with Don Syme (#2 of 4)🗑️ by and (September 2010) ► Some simple code samples to discover F#.
- F# and Windows Azure with Don Syme (#3 of 4)🗑️ by and (September 2010) ► A presentation of the asynchronous features of F# used to build a Web service provider.
- F# in use at Microsoft Research (#4 of 4)🗑️ by , , , , , and (September 2010) ► Three projects (analysis of Twitter feeds, Bing’s AdPredictor, and a Go game) explain why they have chosen F#.
- F# Tools and Resources by (April 2011) ► F# tools, books, blogs…
- Fun(ctional) Domain Driven Design (featuring Ukulele) (Jérémie CHASSAING) by (April 13th, 2023) ► A demo of writing some methods related to music theory.
-
OCaml
- Why OCaml by (June 2015) ► A short presentation of OCaml characteristics and why Jane Street chose it.
- Custom operators in OCaml by (September 20th, 2016) ► How to define infix and prefix operators.
- Python, OCaml, and Machine Learning (⧉) by and (October 7th, 2020) ► A comparison of OCaml and Python: typing, garbage collector, data managements and visualisation libraries, Jupyter notebooks…
- Language Design (⧉) by and (October 21st, 2020) ► A discussion on language features: variant types, dependent types, Algebraic effects…
- Building a functional email server (⧉) by and (October 28th, 2020) ► Jane Street decided to write their own mail server, using OCaml of course.
-
Effective Programming in OCaml • KC Sivaramakrishnan • YOW! 2021 by (2021) ► A good presentation of
Effects. - Building a UI Framework with Ty Overby (⧉) by and (October 6th, 2021) ► The creation on Bonsai, a Web UI library.
- What is an Operating System? (⧉) by and (November 3rd, 2021) ► The stories of MirageOS and of multicore OCaml.
- Memory Management↑ (⧉) by and (January 5th, 2022) ► An interesting technical discussion on memory management in OCaml.
- OCaml 5 With Multicore Support Is Here! by (December 19th, 2022) ► A short announcement of OCaml 5.
- Building the OCaml GPT library by (August 22nd, 2023) ► An overview of using dune for a project, but this is too high-level to be really useful.
-
WebAssembly Support for OCaml: Introducing Wasm_of_Ocaml by (November 1st, 2023) ► The projects to port OCaml to Wasm and, in particular
wasm_of_ocaml. - OCaml: Memory Safety and Beyond↓ by (December 14th, 2023) ► An advertisement for OCaml, explaining that it is a safer language. This is an answer to a paper, but the main point of that one is to stop using C/C++.
-
Meet odoc, OCaml's Documentation Generator by (January 10th, 2024) ► A very short presentation of
odoc. - How to Setup OCaml on Windows with WSL by (May 8th, 2024) ► The title says it all.
- 7 OCaml Gotchas by (May 20th, 2024) ► The title says it all.
- Getting OCaml Through the Eye of a Needle by (May 20th, 2024) ► An experiment of coding a small web service ends up being painful, mostly because the tools and libraries are not properly maintained.
- Why I Like Ocaml — I like OCaml and this is why by (July 21st, 2024) ► The author likes that OCaml is functional, typed, and infers types.
- Pragmatic Category Theory | Part 1: Semigroup Intro by (July 30th, 2024) ► The definition of a Semigroup and some basic examples of Semigroups.
-
↪Pragmatic Category Theory | Part 2: Composing Semigroups by (August 19th, 2024) ► More examples of Semigroups, using a
Pairto combine two Semigroups, and the fact that this allows to compute several results from a set of values by traversing the set only once. - ↪Pragmatic Category Theory | Part 3: Associativity by (December 20th, 2024) ► These three examples of using Semigroups for real programming (List of Chunks, Treaps, and MapReduce) could have been better explained.
- Introducing Dune: The Essential Build System for OCaml Developers by (September 26th, 2024) ► A non-technical and short presentation of Dune.
- ↪Dune Package Management: Revolutionising OCaml Development by (October 9th, 2024) ► Some little additional information about Dune: its current status and its future.
- ↪Dune Developer Preview: Installing The OCaml Compiler With Dune Package Management by (October 16th, 2024) ► Dune manages the installation of the OCaml compiler.
- Making OCaml Mainstream: Support Our Open Source Work on GitHub by (November 6th, 2024) ► The projects to which Tarides contributes.
- Learn OCaml the Easy Way - Including the Hard Bits by (December 18th, 2024) ► Some tutorials, the community, the events, and Tarides’ trainings.
- The Most Elegant Configuration Language by (January 6th, 2025) ► A simple configuration file parser, but the simplicity is for the person implementing the parser, not for the developer using that parser who needs to implement more logic and to document the syntax of the configuration, neither for the user who has to read and apply that syntax. Many usual configuration syntaxes are too complex, but the one proposed here is too simplistic. Json would be a better choice.
- Using clang-cl With OCaml 5 by (January 15th, 2025) ► Tarides has added the support of building OCaml with Clang on Windows.
- The First Wasm_of_ocaml Release is Out! by and (February 19th, 2025) ► The title says it all.
- Simple Ways to Run OCaml Code by (February 23rd, 2025) ► The title says it all.
- Full blown productivity in VSCode with OCaml by (February 28th, 2025) ► The new features of Tarides’ VSCode extension.
- OCaml Web Development: Essential Tools and Libraries in 2025 by and (May 15th, 2025) ► A long list of frameworks to implement Web applications, both client and server sides.
- The Saga of Multicore OCaml by (June 15th, 2025) ► How Janes Street improved Ocaml 5 parallel garbage collector. The final Q&A is mostly about why Jane Street is using Ocaml.
- Weeks 24-27 by (July 7th, 2025) ► Some feedback on using LLMs to summarise some documentation generated by odoc.
- Add Your Own Recipes to the OCaml Cookbook! by (July 25th, 2025) ► An invitation to add recipes to the OCaml Cookbook.
-
OxCaml
- Introducing OxCaml by (June 14th, 2025) ► Jane Street provides their internal fork of Ocaml, with their home-made extensions.
- Introducing Jane Street's OxCaml Branch! by , , and (July 9th, 2025) ► Some information about the extensions available in OxCaml.
-
ReasonML
- X Marks the Spot (Part 1): ReasonML↓ by (March 19th, 2019) ► An unclear presentation of ReasonML.
- ↪X Marks the Spot (Part 2): ReasonReact↓ by (April 9th, 2019) ► This description of ReasonReact, a Reason library for React, is also difficult to understand.