Свързани въпроси 'combinatory-logic'

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