|
|
|
|
|
|
by verttii
2492 days ago
|
|
|
No algebraic data types leads to having to add an additional discriminating union type key. Besides that, no type signatures without parameters and other things just produce a lot more code than you'd have in a nicer type system. |
|
|