Why, exactly, this is very much relevant to this board is for those to see who are willing to go through this very enlightening paper:
http://www.jucs.org/jucs_10_7/total_fun ... turner.pdf
Total Functional Programming
Total Functional Programming
Let him who has ears hear.