3 ms·
The argument goes something like "Parametricity is a good thing and you can't have parametricity without erasure".
by tome 8y ago
The argument goes something like "Parametricity is a good thing and you can't have parametricity without erasure".