If the compiler can infer the type locally then so can I. At least for reasonabl... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

nly on May 10, 2014 | parent | context | favorite | on: Why Python is Slow: Looking Under the Hood

If the compiler can infer the type locally then so can I. At least for reasonably well structured code.

cousin_it on May 10, 2014 [–]

I thought type inference in Haskell or ML was a global algorithm.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact