3 ms·
> If all programs had to halt by default, the compiler would be much freer in choosing evaluation models---strict vs lazy would make no semantic difference. La
by wz1000 12y ago
> If all programs had to halt by default, the compiler would be much freer in choosing evaluation models---strict vs lazy would make no semantic difference.
Lazy evaluation permits the use of infinite structures, which would be _|_ when evaluated strictly, but not when evaluated lazily.
- eru 12y agoGood point. That's where lots of terms with `co-' in front come in. Co-recursion can deal with certain infinite structures.