The OCaml Planet

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.

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.

As mentioned in our Tezos Storage / Irmin Summer 2021 Update on the Tezos Agora forum, the Irmin team's goal has been to improve Irmin's…

Presenting Core, by Yaron Minsky Core is Jane Street's alternative to the OCaml standard library. The need for an alternative to the standard library is clear: OCaml's standard library is well implemented, but it's narrow in scope, and somewh...