3 ms·
Ironically that is the solution c++ essentially uses.
by orbifold 12y ago
Ironically that is the solution c++ essentially uses.
- Peaker 12y agoNot quite, given that C++ templates do higher-level type-checking than just expanding and checking. Also, they support higher-order kinds (a template parameterized by a template). And specialization (specifying special cases). And automatic instantiation based on the static types at the call site. Etc.