OceanSpray·5 anni fa·discussAre you implying that sum types wouldn't be expressed in a function signature?
OceanSpray·6 anni fa·discussWithout generics, sum types would have to be a built-in like maps and arrays.With generics, discriminated unions can take on all sorts of user-defined shapes.
OceanSpray·6 anni fa·discuss"It's impossible to reach absolute zero, so it's also impossible to drink chilled beverages."
OceanSpray·14 anni fa·discussThe issue is actually impossible to fix without overhauling the entire language. It's impossible to garbage collect unboxed objects without being conservative.