Constrained languages are easier to optimize
jyn, what the fuck are you talking about a recurring problem in modern “low-level” languages is that they are hard to optimize. they do not reflect the hardware, they require doing complex alias analysis, and they constantly allocate and deallocate memory. they looked at the structure/expressiveness tradeoff and consistently chose expressiveness. what does a faster language look like consider this paper on stream fusion in Haskell. this takes a series of nested loops, each of which logically