News for hackers. Stuff that matters.
Re:Total Functional Programming [pdf] by oconnor0 on Wednesday October 05, 2016 @05:08PM (#12647908)
Yes, there's also the subset of SQL that is total - or, at least, not-Turing-complete.

Edit: As far as HTML goes, I was attempting to describe "programming languages" - or perhaps algorithmic languages - which I don't consider HTML falling under.

Re:Total Functional Programming [pdf] by lgas on Wednesday October 05, 2016 @06:25PM (#12648497)
Is that not true of every not-total/turing-complete language?