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

Seems like "Why You Need Algebraic Subtyping" might be a better title for this post.


I think more common name for this is structured typing, so it's not confused with subtyping which is a kind of polymorphism.


Algebraic subtyping and structured typing are not the same thing. Algebraic subtyping is a specific approach to type inference and checking of subtyping, which may or may not be used with structural types.




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

Search: