Flix: an effect-oriented, functional, imperative, and logic programming language flix.dev 13 points by thunderbong 15 hours ago
fjfaase 12 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 14 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