Caramel

Write safe, massively scalable, maintainable systems.

Visit Website
January 2021 Caramel v0.1 Released!

Aaaand we just released v0.1 y'all! 🎉🙌 -- check it out here

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

Comment

October 30, 2020 First Release of Caramel!

After 2 months of hard work on the side, I managed to put together something that is fast enough and correct enough for other people to start hacking on as well.

This release included the first binary that "Just Works", caramelc, and also an OCaml library for working with Erlang sources.

Read the Github Release notes.

Comment

September 28, 2020 Caramel is Born

Caramel is a functional programming language designed to help you write type-safe, massively scalable, maintainable applications.

It all started as a birthday gift to myself, and a challenge to try to understand why is it hard to type Erlang (as in, figure out static types).

This research ended up in an essay (Why Typing Erlang is Hard) and the Caramel project.

Comment

About

I started Caramel because I massively scalable systems should be safer and easier to maintain for small and large teams alike.