Letlang — Road to v0.1
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
