Letlang — Road to v0.1

David Delassus
8 min readNov 24, 2022

Recently, I introduced you to Letlang, my programming language targetting Rust. I was happy to present a proof of concept which was able to compile a few programs and its website: https://letlang.dev

Since then, a lot happened…

💥Reducing the scope

Letlang was an ambitious project, too ambitious maybe. Many planned features were either too complex or downright impossible. This is why I decided to get rid of them. A less ambitious project is surely more likely to be released.

Among the deleted features:

🔥 No more sets, no more infinite sets

The usefulness of infinite sets is debatable. Regardless of that aspect, the design of the type system and the presence of sets were introducing the Russel paradox:

Let S be the set of all sets not containing itself. Does S contains S?

If it does not, it should. If it does, it should not.

🔥 No more solvable{} block

--

--

David Delassus
David Delassus

Written by David Delassus

CEO & Co-Founder at Link Society

No responses yet