Flix: an effect-oriented, functional, imperative, and logic programming language flix.dev 11 points by thunderbong 10 hours ago
fjfaase 8 hours ago Is 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.
dlahoda 9 hours ago nice langhttps://doc.flix.dev/type-level-programming.htmlbut they stopped to early in typing.after seeing how types and values unified in lean, not sure will look into flix like languages ever
Is 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.
nice lang
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
What on earth is this wizardry