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