3 ms·
With multiple dispatch, you could already use the existing way of having sum types - class hierarchies - without introducing a second kind. I just don't see wh
by lacampbell 10y ago
With multiple dispatch, you could already use the existing way of having sum types - class hierarchies - without introducing a second kind.
I just don't see why you want both inheritance and ADTs in the same language. But it's entirely possible I'm missing something, I'm an amateur PLT enthusiast at best.
- dualogy 10y agoWould just be syntactic sugar anyway, F# surely compiles its ADTs and parametric polymorphism down to something supported in MSIL bytecode.. but potentially powerfully productive "sugar", any highly expressive language is 80-90% sugar (just the right kind) over a much smaller intermediate core language of way fewer actual primitives