4 ms·
Flix: an effect-oriented, functional, imperative, and logic programming language
- artichaud1 1y agoWhat on earth is this wizardry
- dlahoda 1y agonice lang https://doc.flix.dev/type-level-programming.html https://doc.flix.dev/type-level-programming.html but they stopped to early in typing. after seeing how types and values unified in lean, not sure will look into flix like languages ever
- fjfaase 1y agoIs this a high-level or a low-level programming language? What does it offer? When i is a 32 bit integer, than i + 1 is not an increment operation, as it can result in a value that is much lower than its input.