I'd encourage you to try writing some Haskell. It's a good example of type infer... | Hacker News

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

DanWaterworth on March 2, 2015 | parent | context | favorite | on: Sylph: the programming language I want

I'd encourage you to try writing some Haskell. It's a good example of type inference that works.

ahoge on March 2, 2015 [–]

You didn't answer my questions. I have no doubt that untooled unitypedness can be improved upon.

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