Свързани публикации '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 изгледи

Църковните числа се преобразуват в 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 изгледи

Приоритет на операторите на ламбда смятане
Имам проблеми с разбирането на приоритета на операторите на ламбда смятане. Например следния код: 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 изгледи

Изваждане на църковни цифри в haskell
Опитвам се да внедря църковни цифри в Haskell, но срещнах малък проблем. Haskell се оплаква от безкраен тип с Възниква проверка: не може да се конструира безкраен тип: t = (t -> t1) -> (t1 -> t2) -> t2 когато се опитвам да правя изваждане. 99%...
3660 изгледи

Проверка на разбирането на: Променлива v.s. Стойност и функция срещу абстракция
(Този въпрос е продължение на този докато изучаване на Haskell.) Преди намирах понятието между „променлива“ и „стойност“ за объркващо. Затова прочетох за уики страницата на ламбда смятане, както и за предишния отговор по-горе. Излизам с...
5105 изгледи