3 ms·
Couldn't agree more. I want to see a "mostly pure" occurence type system with refinement types and HKTs on a SUBSET of ECMA.
by potsandpans 5y ago
Couldn't agree more. I want to see a "mostly pure" occurence type system with refinement types and HKTs on a SUBSET of ECMA.