|
|
|
|
|
|
by mascarenhas
3748 days ago
|
|
|
You only need row polymorphism if you want full type inference. You can get away with width subtyping with bounded parametric polymorphism if you are willing to give up on inferring all types. Examples: Go, TypeScript, Flow... |
|
|