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.
Jaap (@JaapFrolich) is working at Walnut and maintainer of graphql-ppx If you'd like to support the show for more content about OCaml, Reason and ReScript you can now do so at https://www.patreon.com/emelletv or by sending any tez amount to em...
We spend a lot of time on education at Jane Street. Like, really alot.
Patrick (@ryyppy) is working with OSS in ReScript and part of the core team If you'd like to support the show for more content about OCaml, Reason and ReScript you can now do so at https://www.patreon.com/emelletv or by sending any tez amount ...
Adrien Champion adrien.champion@ocamlpro.com This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License. These posts broadly discusses induction as a formal verification technique, which here really means formal program verification. I will use concrete, runnabl...
In April, we announced that the DAPSI initiative accepted the proposal for our Secure-by-Design Communication Protocols (SCoP) project…
Learn OCaml: An Online Learning Center for OCaml, by Benjamin Canou, Grégoire Henry, Çagdas Bozman and Fabrice Le Fessant. We present Learn OCaml, a Web application that packs a set of learning activities for people who want to learn OCaml. It ...
The State of the OCaml Platform: September 2016 by Louis Gesbert, on behalf of the OCaml Platform team
What is new in OCaml 4.03? by Damien Doligez
Ty Overby is a programmer in Jane Street’s web platform group where he works on Bonsai, our OCaml library for building interactive browser-based UI. In this episode, Ty and Ron consider the functional approach to building user interfaces. They also discuss Ty’s programming roots in Neopets, what development features they crave on the web, the unfairly maligned CSS, and why Excel is “arguably the greatest programming language ever developed.” Some links to topics that came up in the discussion: Jane Street’s Bonsai library: https://opensource.janestreet.com/bonsai/ The 3D design system OpenSCAD: https://openscad.org/ Matt Keeter’s libfive design tools: https://libfive.com/ Try .NET in-browser repl: https://try.dot.net/ Jane Street’s Incr_dom library: https://opensource.janestreet.com/incr_dom/ The Elm Architecture “pattern for architecting interactive programs”: https://guide.elm-lang.org/architecture/ React JavaScript library: https://reactjs.org/ The Houdini proposal: https://houdini.glitch.me/ Svelte UI toolkit: https://svelte.dev/ You can find the transcript for this episode and all past episodes at signalsandthreads.com.