Свързани въпроси 'combinatory-logic'
Модел в комбинатор без точки, как е свързан със SKI смятането
Като упражнение преобразувах следния комбинатор в нотация без точки:
h f g x y z = f x (g y z)
с обичайната конвенция за f , g , h като функции и x , y , z като изрази. (Това не е проблем за домашна работа, а просто за забавление и...
555 изгледи
schedule
15.03.2024