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

No, we can't, HM type inference is for nonunion, nondependent types. Python is of course going to need unions due to its dynamic nature.



Consider applying for YC's Spring batch! Applications are open till Feb 11.

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

Search: