OceanSpray

3 ms·

1. 1.▲
   by OceanSpray 5y ago

   Are you implying that sum types wouldn't be expressed in a function signature?
2. 2.▲
   by OceanSpray 6y ago

   Without 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.
3. 3.▲
   by OceanSpray 7y ago

   "It's impossible to reach absolute zero, so it's also impossible to drink chilled beverages."
4. 4.▲
   by OceanSpray 14y ago

   The issue is actually impossible to fix without overhauling the entire language. It's impossible to garbage collect unboxed objects without being conservative.