3 ms·
This is only partially true. The type system is only unable to prove termination if you choose to use those constructs which may disallow termination.
by hajile 13y ago
This is only partially true. The type system is only unable to prove termination if you choose to use those constructs which may disallow termination.
- chongli 13y agoI don't know about you but I'd rather not have my type checker hang and force me to interrupt the process all the time.