Where are C++ templates inside of the lambda cube?
Question
C++ templates have type variables and can express lambdas, so they must have System F embedded. But is that exactly where they are located in the lambda cube? Can C++ templates produce new types or express dependent types?
(I originally posted this to Stack Overflow, but they referred me over to here.)
No correct solution
Licensed under: CC-BY-SA with attribution
Not affiliated with cs.stackexchange