Hacker News new | ask | show | jobs
by tomnj 2295 days ago
You don’t need sfinae to get Turing completeness of templates. Template specialization (a crude form of pattern matching) is the main driver for Turing completeness. For example, here’s a toy project to implement a subset of scheme lisp in templates which needs no sfinae: https://github.com/tdp2110/TmpLisp