Свързани публикации 'lambda-calculus'
Преминаване към функционалност с Javascript
„Истината винаги се намира в простотата, а не в множеството и объркването на нещата.“ ― Исак Нютон
Доброто приложение се познава по по-простите си взаимодействия за извършване на по-силни сложни операции. Но когато приложенията са толкова сложни, колкото днешните, простотата е по-трудна за постигане.
По-големите програми могат да бъдат по-трудни за разбиране и са по-податливи на грешки, така че те се разделят на по-малки и абстрахирани компоненти според техните опасения. Един..
Свързани въпроси 'lambda-calculus'
Въвеждане на Y комбинатора
http://muaddibspace.blogspot.com/2008/01/type-inference-for-simply-typed-lambda.html е кратка дефиниция на просто въведеното ламбда смятане в Prolog.
Изглежда добре, но след това той претендира да присвои тип на Y комбинатора... докато в много...
2184 изгледи
schedule
02.11.2022
Как работи ламбда смятането с израз като: (Ly.Lt.yt)zx?
Не разбирам как да реша този израз на ламбда смятане:
(Lx.yx)((Ly.Lt.yt)zx)
Не разбирам как zx се предава и оценява. Предава ли се на Ly или Lt ? Можеш ли да ми помогнеш?
РЕДАКТИРАНЕ: Ето как се опитах да го реша:...
123 изгледи
schedule
11.11.2023
Защо y-комбинаторът осигурява еквивалентност на Тюринг?
Този отговор казва
Ето един основен y-комбинатор в ламбда смятането:
Y f = (\x -> f (x x)) (\x -> f (x x))
Т.е. нещо подобно в Clojure:
(defn Y [f]
((fn [x] (x x))
(fn [x]
(f (fn [& args]
(apply (x...
360 изгледи
schedule
28.11.2022
Църковните числа се преобразуват в int без езиков примитив
Възможно ли е да се преобразува църковно число в цяло число, без да се използва езиков примитив като add1?
Всички примери, на които съм попадал, използват примитив за dechurch към int
Пример:
plus1 = lambda x: x + 1
church2int = lambda n:...
666 изгледи
schedule
06.01.2024
Модел в комбинатор без точки, как е свързан със SKI смятането
Като упражнение преобразувах следния комбинатор в нотация без точки:
h f g x y z = f x (g y z)
с обичайната конвенция за f , g , h като функции и x , y , z като изрази. (Това не е проблем за домашна работа, а просто за забавление и...
555 изгледи
schedule
15.03.2024
Приоритет на операторите на ламбда смятане
Имам проблеми с разбирането на приоритета на операторите на ламбда смятане.
Например следния код:
lambda x.x z lambda y.x y
ще бъде:
lambda x. (x (z lambda y. x y))
or
lambda x. ((x z) (lambda y. x y))
?
Още...
4382 изгледи
schedule
30.03.2024
Изваждане на църковни цифри в haskell
Опитвам се да внедря църковни цифри в Haskell, но срещнах малък проблем. Haskell се оплаква от безкраен тип с
Възниква проверка: не може да се конструира безкраен тип: t = (t -> t1) -> (t1 -> t2) -> t2
когато се опитвам да правя изваждане. 99%...
3660 изгледи
schedule
13.04.2024
Проверка на разбирането на: Променлива v.s. Стойност и функция срещу абстракция
(Този въпрос е продължение на този докато изучаване на Haskell.)
Преди намирах понятието между „променлива“ и „стойност“ за объркващо. Затова прочетох за уики страницата на ламбда смятане, както и за предишния отговор по-горе. Излизам с...
5105 изгледи
schedule
26.04.2024