OceanSpray·5 ปีที่แล้ว·discussAre you implying that sum types wouldn't be expressed in a function signature?
OceanSpray·6 ปีที่แล้ว·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 ปีที่แล้ว·discuss"It's impossible to reach absolute zero, so it's also impossible to drink chilled beverages."
OceanSpray·14 ปีที่แล้ว·discussThe issue is actually impossible to fix without overhauling the entire language. It's impossible to garbage collect unboxed objects without being conservative.