Hacker News new | ask | show | jobs
by jupp0r 1197 days ago
The way I think about this is that type computations can be used both for type constraint checking and for code generation. In that sense, C++s template metaprogramming system is a superset of TypeScript's, which can only do checks as you pointed out correctly.