Not an answer but interesting nonetheless: In the nand2tetris course (where you build a computer from logic gates/flip-flops to the OS/compiler), the high level

Not an answer but interesting nonetheless: In the nand2tetris course (where you build a computer from logic gates/flip-flops to the OS/compiler), the high level language you implement has this as a requirement, mainly to make the compiler easier to write.