The OCaml Planet RSS

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.

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…