作者 ccshan 在 PTT [ PLT ] 看板的留言(推文), 共11則

[ PLT ]25 留言, 推噓總分: +8

作者: NilPtr - 發表於 2014/12/24 00:21(9年前)

18^F推ccshan: http://terralang.org/ 見 "Generative programming" 那段12/29 13:11

[ PLT ]5 留言, 推噓總分: +2

作者: j1215tnfsh - 發表於 2013/03/29 00:58(11年前)

5^F推ccshan:去看看 multiple context free grammar 吧04/01 02:48

[ PLT ]5 留言, 推噓總分: +1

作者: a842046 - 發表於 2013/03/27 20:53(11年前)

3^F推ccshan:http://htdp.org/03/28 00:03

[ PLT ]7 留言, 推噓總分: +1

作者: suhorng - 發表於 2013/01/11 00:45(11年前)

1^F推ccshan:有亮白色這段就等於有兩個var "(define y 9) (display y)"01/11 09:02

2^F→ccshan:所以結果應該是 1 9 2 9 3 9 4 9 5 9 6 9 7 9 8 9 9 9 1001/11 09:03

3^F→ccshan:所以總結: scope不受call/cc影響, call/cc如同一般函數.01/11 09:04

[ PLT ]17 留言, 推噓總分: +5

作者: slyfox - 發表於 2011/11/12 13:30(12年前)

2^F推ccshan:失敗版的意思是：先讀無窮多個字元，再取其開頭部份。11/13 14:10

[ PLT ]5 留言, 推噓總分: +2

作者: godfat - 發表於 2011/07/11 22:23(13年前)

4^F推ccshan:flip ($) xs ＝ ($ xs)07/12 05:34

[ PLT ]9 留言, 推噓總分: +3

作者: drm343 - 發表於 2011/06/04 00:21(13年前)

3^F推ccshan:函數一般沒有交換律，特例情形才有。您的第一個例子也是06/04 00:51

4^F→ccshan:Wadler "Theorems for Free" 那篇文章的起例，請參閱。06/04 00:52

[ PLT ]5 留言, 推噓總分: +1

作者: SansWord - 發表於 2010/06/01 15:55(14年前)

5^F推ccshan:不妨參考Essentials of Prog Languages三版裡面有兩種作法06/02 04:44

作者查詢 / ccshan