3 ms·
> I mean; C++ templates are Turing complete. that's not a very high milestone to achieve. Even java generics are turing complete (https://arxiv.org/abs/1605.05
by jcelerier 6y ago
> I mean; C++ templates are Turing complete.
that's not a very high milestone to achieve. Even java generics are turing complete (https://arxiv.org/abs/1605.05274 https://arxiv.org/abs/1605.05274)
- esarbe 6y agoHoly crap, indeed! The older I get, the more icky I find subtyping. It just makes things messy...