Editing Programming Language (section)

==Solve the halting state problem 🤑==
* Obviously not really.
* Look into termination analysis.
* Look into dependant types, etc...
* Best effort. 'Halts', 'Doesn't halt', 'halts when input is X', 'Unknown'...
* Look into subsets of programs **can** be checked.
** When there is no loops/recursion.
** When loops are fixed at compile time.
** When there is an obvious infinite loop `for(;;){}`.
** Self modifying programs.
** A lot is dependant on external inputs.
** Limitable loops.
*** Injectable via a context.
*** A for loop that can't run longer than 10 seconds. "This function will halt, because I will halt it if it doesn't".
*** A loop that can't do more than X iterations (X could be the size of an array, that size would be limited by the size type).
*** Could be a source of bugs though...