3 ms·
I think you need HKTs, in other words System F-omega, to carry out Rossberg's idea.
by GregarianChild 6y ago
I think you need HKTs, in other words System F-omega, to carry out Rossberg's idea.
- tomp 6y agoOnly for applicative functors (i.e. OCaml’s version, where Set[int].t == Set[int].t), which 1ML models as pure functions.