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

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

Show thread
Sign in to participate in the conversation

Cybrespace is an instance of Mastodon, a social network based on open web protocols and free, open-source software. It is decentralized like e-mail.