lambda-calculus

6Ciepło

1Odpowiedz

Redukcja beta w rachunku lambda za pomocą Haskella

Zdefiniowałem następujące funkcje redukcji beta, ale nie jestem pewien, jak wziąć pod uwagę przypadek, w którym zmienne wolne są ograniczone. data Term = Variable Char | Lambda Char Term | Pair Term T

22Ciepło

1Odpowiedz

Jaki jest właściwy sposób sprawdzania zgodności abstrakcji lambda za pomocą "bound"?

Wdrażam prosty, zależnie pisany język, podobny do tego described by Lennart Augustsson, a także do zarządzania powiązaniami za pomocą bound. Gdy typechecking zależną termin lambda, np λt:* . λx:t . x

5Ciepło

1Odpowiedz

jak częściowo zastosować dowolny argument funkcji?

chcę użyć częściowy z functools częściowo zastosować drugi argument funkcji jest, wiem, że to jest łatwe do zrobienia z lambda zamiast częściowe następująco >>> def func1(a,b): ... return a/b ...

5Ciepło

1Odpowiedz

Jaki jest typ dolny?

W wikipedia, bottom type jest po prostu zdefiniowany jako "typ, który nie ma wartości". Jeśli jednak ten typ pusty jest b, produkt typu (b,b) również nie ma wartości, ale wydaje się inny niż b. Zgadza

8Ciepło

3Odpowiedz

interpretować PARIGOT jest lambda-MU rachunku w Haskell

Można zinterpretować rachunek lambda w Haskell: data Expr = Var String | Lam String Expr | App Expr Expr data Value a = V a | F (Value a -> Value a) interpret :: [(String, Value a)] -> Expr -> Val

12Ciepło

2Odpowiedz

η-ekspansja w czystym języku funkcjonalnym

W SML, jest to legalne mieć w .mli: val f : 'a -> 'a val g : 'a -> 'a i .ml: let f x = x let g = f Jeszcze w F #, to zostanie odrzucony: eta_expand.ml(2,5): error FS0034: Module 'Eta_expand' con

12Ciepło

2Odpowiedz

Jakie są najnowocześniejsze metody rozwiązywania równań funkcjonalnych?

Załóżmy, że chcesz znaleźć program λ nazębnego, T, który spełnia następujące równania: (T (λ f x . x)) = (λ a t . a) (T (λ f x . (f x))) = (λ a t . (t a)) (T (λ f x . (f (f x)))) = (λ a b t . (t

8Ciepło

3Odpowiedz

Czysty rachunek Lambda - i funkcja

Obecnie uczę się Haskella, a także uczestniczę w raczej teoretycznym wykładzie na temat programowania funkcjonalnego na uniwersytecie. Wiem, że to jest czysto teoretyczne/akademickie pytanie, ale mimo

11Ciepło

2Odpowiedz

Czy jest możliwe zaprezentowanie różnych strategii oceny poprzez modyfikację tego prostego reduktora?

Jestem typem, który preferuje naukę, patrząc na kod, zamiast czytać długie wyjaśnienia. To może być jeden z powodów, dla których nie lubię długich prac naukowych. Kod jest jednoznaczny, zwarty, pozbaw

11Ciepło

1Odpowiedz

Prawidłowa forma letrec w systemie typu Hindley-Milner?

mam problemy ze zrozumieniem letrec definicję systemu HM, który jest podany na Wikipedii, tutaj: https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system#Recursive_definitions Dla mnie zasada