[kragen]

yes, total functional programming is an interesting research area, and of course almost all of our subroutines are intended to verifiably terminate

[eru]

I'm not even sure total programming needs to be functional. That's just the most common way to do it, I guess, because functional programming is a good vehicle for 'weird' theoretical computer science ideas.