uwenku
標簽列表
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.
jsoup關鍵詞搜索元素
2.
是否可以訪問鍵盤控制器的內部製作/中斷代碼緩衝區?
3.
中級和根證書文件
4.
如何僅從模式
5.
Microsoft Visual Studio:Windows和Unix項目源代碼兼容性
6.
如何檢查iPhone應用程序的網絡活動?
7.
嵌套模塊的聲明文件
8.
慶幸,擴展沒有被加載
9.
關於在magento 2中添加CSS
10.
如何在Mac上找到Android SDK管理器路徑