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:

I should probably do some sort of logo out of that flag though :3 That would be rad!

Sign in to participate in the conversation

This is a mastodon instance for social justice activists, LGBTQIA+ people, and activists in general See the Goals and technical details, and Rules and privacy policy pages for more information