I agree. The flip side of that is that real programs are written by real humans, who have inherent limitations, that have to be reflected in the programming language somehow. ;)<p>Haskell certainly leans more toward the &quot;cater to the limitations of humans&quot; end rather than the &quot;cater to the limitations of the machine&quot; end, which is already filled by a whole host of languages like C++, Ada, Rust, D and others.