Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
jolux
5 months ago
|
parent
|
context
|
favorite
| on:
You Need Subtyping
Seems like "Why You Need
Algebraic
Subtyping" might be a better title for this post.
ivanjermakov
5 months ago
[–]
I think more common name for this is structured typing, so it's not confused with subtyping which is a kind of polymorphism.
Rusky
5 months ago
|
parent
[–]
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: