Well for one it costs you money to run the programs so if you want to run your program forever you can try that but it's a bit of a money pit. I think the idea

Well for one it costs you money to run the programs so if you want to run your program forever you can try that but it's a bit of a money pit. I think the idea vehind TC is that now you could write in certain styles that do guarantee termination without sacrificing readability. For example if you're working with just primitively recursive functions you can always guarantee termination So the prerequisite for people investing is for the contract to be in a certain style, or something EDIT: besides, even without TC you still need to check the contract for logic bugs. TC is a bit of a red herring for "due diligence is always needed"