Hacker News new | past | comments | ask | show | jobs | submit login

Inference is a little more involved once you add lambda abstraction and function application.

Recommended:

Christoph Hegemann: type inference from scratch: https://www.youtube.com/watch?v=ytPAlhnAKro




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

Search: