church

2熱度

1回答

SML中的Alonzo教會數字

我有一個任務，涉及使用SML教會的數字。我環顧四周，找不到我做錯了什麼。我們的目標是創建一個函數，它接受一個int並返回一個教會數字，定義爲數據類型'a numbers = Num of（'a - >'a） - >'a - >'a（這是我的老師預定義的） 。然後製作第二個需要教會數字並返回int的函數。 我看到一前一後的代碼： val ZERO = C(fn (f,x) => x) fun su

sml church 2012-02-06

---

4熱度

2回答

非逃逸錯誤3

我試圖在斯威夫特3.實施Church Numerals目前，我有： func numToChurch(n: Int) -> ((Int) -> Int) -> Int { return { (f: (Int) -> Int) -> (Int) -> Int in return { (x : Int) -> Int in return f(numToChurch

swift functional-programming swift3 church-encoding church 2016-10-01

---