Primitive Recursive Functions For A Working Programmer

from blog matklad, | ↗ original
Programmers on the internet often use Turing-completeness terminology. Typically, not being Turing-complete is extolled as a virtue or even a requirement in specific domains. I claim that most such discussions are misinformed --- that not being Turing complete doesn't actually mean what folks want it to mean, and is instead a stand-in for a bunch...