It is often asserted that the halting problem is undecidable. And proving it is indeed trivial.
But that only applies to an arbitrary program.
Has there been any study regarding classes of programs humans usually make?
It can sometimes be easy to analyze a program and enumerate all of its degrees of freedom and conclude that it will halt.
For example, has there ever been an effort to create a programming language (scripting really) that guarantees halting? It would not be widely applicable but could still be useful for mission critical modules.