Blog
The OCaml Planet
Articles and videos contributed by both experts, companies and passionate developers from the OCaml community. From in-depth technical articles, project highlights, community news, or insights into Open Source projects, the OCaml Planet RSS feed aggregator has something for everyone.
Want your Blog Posts or Videos to Show Here?
To contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.
This is the second installment in the video series explaining OCaml's locals. In this video, I explain how we can annotate variables and return types with local_. Code for this video: https://github.com/goldfirere/janestreet-videos/tree/main/locals/02-local-variables-and-returns View instructions to get the compiler I use in this video: https://github.com/janestreet/opam-repository/tree/with-extensions Playlist for videos in this series: https://www.youtube.com/playlist?list=PLCiAikFFaMJrgFrWRKn0-1EI3gVZLQJtJ
This presentation gives an overview of the Ocsigen framework, which is used in particular to develop the Be Sport social network. Ocsigen is a set a tools to develop Web sites and applications. Amongst other things, it contains js_of_ocaml, a comp...
Starting off isn't always easy. Here's my experience at the beginning.
For starters, here's a little tour of our amazing community.
Imagine you have a brand-new coffee machine. One morning, you traipse excitedly down the stairs only to discover that, alas, your appliance…
This post explores the concepts of functional programming, including immutability, pure functions, higher-order functions, recursion, and more. It also delves into the history of functional programming and introduces Lambda Calculus. If you're new to functional programming or want to deepen your understanding, this post is for you.
How can you be sure that an OCaml function you wrote is actually tail-recursive? You can certainly compile the code and look at the generated assembly code, but that’d be quite the overkill, given there is a much simpler way to do this.
Effective documentation is a cornerstone of software development. It helps developers understand how to use a language, its libraries, and…
Lightweight asynchronous programming (using futures, goroutines or green threads) has been widely adopted to organize programs with many concurrent tasks, more than are traditionally feasible with thread-per-task models of concurrency. With the...