4 ms·
> Maybe in 20-30 years will see these languages adopting higher-kinded types, rank-n types, GADTs, and more? it's possible to express those in C++ pretty much
by jcelerier 6y ago
> Maybe in 20-30 years will see these languages adopting higher-kinded types, rank-n types, GADTs, and more?
it's possible to express those in C++ pretty much since templates exist.