Ironically that is the solution c++ essentially uses. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

orbifold on June 30, 2014 | parent | context | favorite | on: Why Go Is Not Good

Ironically that is the solution c++ essentially uses.

Peaker on June 30, 2014 [–]

Not 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.

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact