VoidCC
標簽列表
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
最新問題
1.
轉到代碼編譯鏈接器錯誤。我可以手動鏈接嗎?
2.
IE
3.
將PPCPCell添加到段落
4.
添加驗證/如果其他語句公共類功能PHP
5.
Python:按多列分組的值線圖
6.
我不確定如何正確使用fscanf
7.
無法加載資源:服務器與404未找到
8.
Typescript的/ ** @class * /是否有目的?
9.
測試十進制是否足夠接近有理數
10.
Android WifiManager - 以十六進制或不以十六進制