3 ms·
No algebraic data types leads to having to add an additional discriminating union type key. Besides that, no type signatures without parameters and other thing
by verttii 7y 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.