This is called "total function programming." Thanks for bringing it up, I was not aware of this: https://en.wikipedia.org/wiki/Total_functional_programming htt

This is called "total function programming." Thanks for bringing it up, I was not aware of this: https://en.wikipedia.org/wiki/Total_functional_programming https://en.wikipedia.org/wiki/Total_functional_programming Recently I had a need to design a small language for a constrained environment, and I spent a bit of time worrying about termination problem. Now I know where to look for more research.