My point was about efficiency though.
In other words, how much time you have per week?
I may biased though. Just the "Zápis" and "Popis" column names make me smile because of my mother tongue, which is sufficiently different from Czech to provoke unclear but funny connotations.
Roughly speaking, the <y> here is close to what is traditionally transcribed in English as [i:], except rounded, i.e. [y:].
Many caveats apply, this probably being Finnish Swedish (which should have the same or a similar vowel), my Swedish being rather rudimentary, etc.
Obviously, any systems language must have predictable memory layout for at least a subset of its types, including atomic (as in primitive) and composite types -- but probably it's not quite necessary (nor possible) for function types.What are other language features that are similarly crucial? I'd argue even arrays are kinda optional, since they can be encoded as `Array = exists (n: Size, a:...