lambda-calculus

0熱度

1回答

試圖瞭解計劃中的教會編碼

我試圖通過計劃來了解教會編碼的整個原理。我認爲我理解如 教會標記的基本爲0 （定義的c-0 （拉姆達（F） （拉姆達（X） X））） 教堂標號1 （定義的c-1 （拉姆達（F） （拉姆達（x）的 （f x）））） ...並繼續將函數應用到x N次。 現在我的問題是這是什麼意思？如果我以教堂3爲例： (define c-3 (lambda (x) (lambda (f)

scheme lambda-calculus church-encoding 2014-10-29

---

1熱度

1回答

將flip lambda轉換爲SKI條款

我無法將flip的lambda轉換爲SKI combinators（我希望有道理）。這裏是我的轉換： /fxy.fyx /f./x./y.fyx /f./x.S (/y.fy) (/y.x) /f./x.S f (/y.x) /f./x.S f (K x) /f.S (/x.S f) (/x.K x) /f.S (/x.S f) K /f.S (S (/x.S) (/x.f)) K

lambda lambda-calculus combinators k-combinator s-combinator 2015-03-31

---

4熱度

2回答

什麼是自然數與有效簡單類型的lambda微積分項之間的映射？

是否有任何有效的算法可以在簡單類型的lambda微積分和自然數的良好類型的封閉條件之間進行映射？例如，使用德布魯因指標（也可能是不正確的順序排列）： 0 → (λ 0) 1 → (λ (λ (0 1))) 2 → (λ (λ (1 0))) 3 → (λ 0 (λ 0)) 4 → (λ (λ 0) 0) 5 → (λ (λ 1) 0) 6 → ... so on 相關的問題：是否有

algorithm search functional-programming enumeration lambda-calculus 2015-02-23

---

0熱度

2回答

分配的匿名函數與命名函數聲明

在開發函數式編程語言時，是否可以使指定的匿名函數表達式等價於命名函數聲明/定義？ 例如，在這個僞語言： add = \ x y -> x + y -- assigned anonymous function expression add x y = x + y -- named function declaration 我知道，在非功能性的語言中，2有幾分不同的屬性，但我問他們爲什麼不能是一

function functional-programming lambda lambda-calculus 2014-09-30

---

2熱度

2回答

如何實現讓*使用lambda

我在做lambda微積分，在我的教科書中，它說如何使用lambda微積分寫let*。 我的回答：x，y和z是參數; v1，v2和v3的參數; e是體： ((lambda (x y z) (e)) v1 v2 v3) 答案在書： ((lambda(x) ((lambda(y) ((lambda(z) e) v3)) v2)) v1) 我不知道如果我

lambda scheme lambda-calculus let 2014-05-05

---

3熱度

1回答

如何在Parsec中手動操作特殊表達式的優先級？

我試着爲lambda-calculus解釋器編寫解析器，該解釋器使用expression closures JavaScript 1.8的語法，這意味着function(x) x * x與function(x) { return x * x; }相同。 這是我的解析器代碼。 module Parser where import Text.Parsec import Text.Parsec.S

haskell compiler-construction interpreter parsec lambda-calculus 2015-03-03

---

8熱度

3回答

Pure Lambda微積分 - 和函數

我目前正在學習Haskell，並且還參加了一個關於大學函數式編程的理論性講座。我知道這是純粹的理論/學術問題，但我感興趣的是如何簡單地用純lambda演算（即沒有定義任何常量）來表達不同的簡單函數。 我的一些演講材料定義布爾值，例如： 真 = \ xy.x 假 = \ xy.y （\表示lambda符號） 如果它們像這些選擇器函數一樣定義，那麼if-con dition可以很容易地定義爲： 如果

haskell functional-programming lambda-calculus 2014-06-30

---

4熱度

1回答

是否可以使用迭代增量在鍵入的教會數字上實現加法？

我找不到一種方法來將增加定義爲重複增量，儘管這可能是一種無類型的語言。這裏是我的代碼： {-# LANGUAGE RankNTypes #-} type Church = forall a . (a -> a) -> (a -> a) zero :: Church zero = \f -> id inc :: Church -> Church inc n = \f -> f . n

haskell types lambda-calculus higher-rank-types church-encoding 2014-05-16

---

-2熱度

1回答

在Javascript中爲任意整數生成教會編碼數字

我想要一個函數，它接受一個整數並以church encoded函數的形式返回該數字。 我在newlisp實現這一點： (define (reduce stencil sq) (apply stencil sq 2)) (define (num n) (cond ((= n 0) 'x) ((< n 2) '(f x)) (true (reduce (fn (l i)

javascript lambda-calculus newlisp 2014-12-03

---

3熱度

1回答

哈斯克爾 - 多態性和值取決於類型

從閱讀lambda cube和維基百科條目這thread，當適用於哈斯克爾，我的理解是， 家人條款索引項的 - 典型的功能從價值到價值 按類型索引的術語族 - ?? 家庭由類型索引類型 - 參數多態型構造，類型家庭 家庭通過索引項類型 - PI類型（其中你假在哈斯克爾單類型），西格瑪類型等... 請糾正我，如果我錯了上面列舉的例子。引用該維基百科文章： 術語取決於類型或多態性。系統F，又名二階拉姆

haskell polymorphism lambda-calculus type-families 2015-07-01

---