Labrys 0.1 is finally out after 5 years of solo dev, mostly self-learning. It is still highly unstable but good enough for a first release.

You can install it using OPAM with « opam depext -ui labrys »
Its name comes from the Lesbian symbol 😇

Its syntax is a mix between OCaml and Haskell without type inference. It features an effect system, checked exceptions, higher-order polymorphism and an LLVM backend.

An example:

The current semantic of the underlying type-system:

Show thread
Sign in to participate in the conversation

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!