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

Image of Datadog

Create and maintain end-to-end frontend tests

Learn best practices on creating frontend tests, testing on-premise apps, integrating tests into your CI/CD pipeline, and using Datadogโ€™s testing tunnel.

Download The Guide

Top comments (0)

AWS Security LIVE!

Tune in for AWS Security LIVE!

Join AWS Security LIVE! for expert insights and actionable tips to protect your organization and keep security teams prepared.

Learn More