News for hackers. Stuff that matters.

A comment on On sufficiently smart compilers. Parent comment

Re:On sufficiently smart compilers by codygman on Tuesday December 15, 2015 @09:53PM (#10742055)
Space leaks are a bad example imo since they happen in other languages as well.
[ Parent | on HN ]
Re:On sufficiently smart compilers by Tyr42 on Tuesday December 15, 2015 @10:12PM (#10742116)
Yeah, but having a chain of functions failing to fuse properly can be quite surprising.
[ Parent | on HN ]
Re:On sufficiently smart compilers by codygman on Tuesday December 15, 2015 @10:53PM (#10742264)
There seemed to be an implication that Hindley Milner type inference leads to unpredictable performance, you can see that is untrue with ml and ocaml.
[ Parent | on HN ]