All decks Close
All decks 3

  • Caramel: bringing an OCaml to the Erlang VM

    Here I present Caramel v0.1, answering several common questions like why an OCaml, why on the Erlang VM, why a sound type system, and how is Caramel an OCaml. We'll also go over the status of Caramel v0.1, including language and tooling features, and what's ahead in the roadmap.

    Feb 23, 2021 1,211 0

  • Introducing Caramel

    In this presentation I describe the current architecture of Caramel, the motivation for building it, and what is my vision for it as a language and tool.

    Dec 09, 2020 642 0

  • OCaml​ on the BEAM

    Understanding how to build a type-checker for Erlang, I ended up building a compiler from OCaml to Erlang: Caramel.

    Oct 06, 2020 921 2