看板 [ PLT ]
討論串[問題] abstration in combinatory logic
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#1
[問題] abstration in combinatory logic
推噓1(1推 0噓 3→)留言4則，0人參與, 最新作者etwas (i'm only dust)時間13年前 (2011/06/08 03:30), 編輯資訊
1
0
0
內容預覽:
大家好,. 小弟在看 Hindley & Seldin 的 Lambada-Calculus and Combinators -- an Introduction遇到一個問題. 想請教各位大大.. Exercise 2.22 裡面要 evaluate. [x].uxxv. 答案是. S(SuI)(K
(還有445個字)
#2
Re: [問題] abstration in combinatory logic
推噓1(1推 0噓 0→)留言1則，0人參與, 最新作者Favonia (貓貓最乖了)時間13年前 (2011/06/08 04:11), 編輯資訊
0
0
0
內容預覽:
我沒看過你那本書，不過我想那本書應該不會違背大家習慣的用法。. uxxv 通常是 ((ux)x)v 的意思，所以你把他解讀成 (ux)(xv) 就不一樣了。. 根本問題是，省掉括號以後，符號是左結合還右結合？application 通常是. 左結合，所以那題答案是這樣出來的：. [x].uxxv.
(還有309個字)
首頁
上一頁
1
下一頁
尾頁