Flix: an effect-oriented, functional, imperative, and logic programming language(flix.dev)
flix.dev
Flix: an effect-oriented, functional, imperative, and logic programming language
https://flix.dev/
3 comments
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
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