uwenku
標簽列表
caramel
7
熱度
1
回答
是否可以在無類型的lambda演算中有效地實現`max`?
min通常在無類型lambda演算定義爲(使用Caramel's syntax): sub a b = (b pred a) <= a b = (is_zero (sub b a)) min a b = (<= a b a b) 這是非常低效的。 Sub是二次的,因爲它適用pred(它是線性的)b次。還有一個更高效的實現min爲: min a b succ zero = (a a_succ
functional-programming
lambda-calculus
caramel
2015-10-06
最新問題
1.
大熊貓 - 在同一個數據幀
2.
最簡單的方式分發Tensorflow培訓的前提?
3.
連接來自外部客戶端進程的kubernetes內作爲碼頭容器運行的點火服務器
4.
使用Thymeleaf窗體構建POST請求
5.
如何通過控制器與MVC發送電子郵件
6.
替換VBA中的多個字符實例
7.
node.js作爲服務移動+管理面板與角
8.
平均年齡但不包括某些記錄
9.
bash變量名使用變量
10.
如何從Python字符串中刪除括號內的文本?