Viewing profile — OceanSpray

Are you implying that sum types wouldn't be expressed in a function signature?

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.

"It's impossible to reach absolute zero, so it's also impossible to drink chilled beverages."

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