day4: a more robust `yCombinator`
xzhseh opened this issue · 0 comments
xzhseh commented
The current yCombinator
will get stuck when evaluating via call-by-value. (why?)
It's time to add a "more robust" yCombinator, under which the two evaluation strategies can both evaluate to the same normal form (i.e., confluence) without getting stuck.