4 ms·
since it has no generics, it has less expressive power
by jcelerier 8y ago
since it has no generics, it has less expressive power
- AlexCoventry 8y agoCurious about the downvotes on this. Seems accurate.
- jcelerier 8y agowell, yes, unless they can proove that System F is equivalent in expressive power to λω in which case they can go fetch their Turing prize.