4 ms·
> If you add constraints (like not being able to feed the program to itself as is done in the halting problem and not allowing unbounded loops) then it is possi
by avmich 6y ago
> If you add constraints (like not being able to feed the program to itself as is done in the halting problem and not allowing unbounded loops) then it is possible to determine if a program will terminate or not.
Dhall is a good example - https://github.com/dhall-lang/dhall-haskell https://github.com/dhall-lang/dhall-haskell .
- dkersten 6y agoI'm not familiar with Dhall, but that looks pretty neat! Thanks for sharing.