DEV Community

Leandro Ostera for Abstract Machines

Posted on

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

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

Top comments (0)