4 ms·
How is a keyword (such as OCaml's 'rec') less clear than rewriting the whole function in an iterative form, with junk like temporary loop variables? > mapping
by goialoq 9y ago
How is a keyword (such as OCaml's 'rec') less clear than rewriting the whole function in an iterative form, with junk like temporary loop variables?
> mapping more obviously to the behavior of actual machines we use to execute our code.
There's a reason we usually don't write in assembly.
- Spivak 9y agoShould the compiler do what you mean or do what you say? Is it good design to have a system where your code only works because the compiler was able to recognize an optimization? Why not make it explicit?
- ernst_klim 9y ago>Why not make it explicit Because we want programming languages to hide the hardware complexity behind elaborated semantics. Programming languages are for humans, not for machines.