@domatdo도막도 그 둘은 같습니다만 thunk에 congruence rule이 없습니다. 즉 M = L이어도 thunk(M) = thunk(L)인 것은 아닙니다. (M을 계산한 결과가 L인 경우, thunk(M)은 지연된 계산이기 때문에 더이상 평가가 진행되지 않아 thunk(L)이 될 수 없습니다.)

1

If you have a fediverse account, you can reply to this note from your own instance. Search https://hackers.pub/ap/notes/01963fa5-0636-76c3-a283-f846408bcd3c on your instance and reply to it.

1