Introducing Caramel v0.1: an OCaml on the Erlang/Elixir VM

Leandro Ostera — Sun, 24 Jan 2021 17:35:05 +0000

Caramel is a functional language for building type-safe, scalable, and
maintainable applications.

It's built in OCaml 🐫 and maintained by Abstract Machines.

Caramel leverages:

the OCaml compiler, to give you with a pragmatic type system and
industrial-strength type safety.
the Erlang VM, known for running low-latency, distributed, and fault-tolerant
systems used in a wide range of industries.

Aaaand we just released v0.1 y'all! 🎉🙌

Now featuring:
🌟 A narrower, more focused goal
💅 A code formatter (courtesy of ocamlformat)
📚 A brand new Manual with guides
📈 Many tiny improvements

Really, after a lot of thinking around this, I've decided to scope down Caramel to:

🐫 a strict subset of OCaml / Reason
🛰️ that compiles to (Core) Erlang

plus:
📚 a small standard library (yes, incl. typed OTP)

The reason for this is that between work and life, I'd like to be able to ship something useful without burning out🧘‍♀️

This seems like a good first step to making Caramel actually usable for day to day work 🧙‍♂️

So be my guest, try and break it and let me know!

🙌

/ Leandro
@leostera

DEV Community: Abstract Machines