Co oznacza „zastępowanie przechwytywania”?
Podczas czytania rachunku Lambda na Wiki natknąłem się na ten terminPrzechwytywanie unikanie podstawień. Czy ktoś może wyjaśnić, co to znaczy, ponieważ nie mogłem znaleźć definicji z dowolnego miejsca.
Dzięki
PS
To, co chcę wiedzieć, jest powodem opowiedzenia tej operacjiPrzechwytywanie unikanie podstawień. Byłoby wielką pomocą, gdyby ktoś mógł to zrobić