作者查詢 / CindyLinz

總覽項目：發文 | 留言 | 暱稱

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

限定看板：PLT

尾頁

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

作者: xcycl - 發表於 2013/10/30 08:50(12年前)

1^F推CindyLinz:X2 的 x, y 都是從 X1 取, 還是一個從 X0 取, 一個從X1?10/30 20:20

2^F推CindyLinz:我覺得這個結構看起來跟 church number 有點像說 ^^10/30 20:24

3^F→CindyLinz:church number 作加法時就是把 succ 丟進去; 乘法是把10/30 20:24

4^F→CindyLinz:add 丟進去..10/30 20:25

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

作者: cleanwind - 發表於 2013/10/13 08:37(12年前)

1^F推CindyLinz::D10/13 13:01

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

作者: suhorng - 發表於 2013/03/05 22:37(12年前)

2^F推CindyLinz:Haskell 用 data Bottom (後面沒有 =)03/05 23:39

4^F推CindyLinz:這個「abort」名子聽起來很可怕,其實是個exception03/05 23:53

5^F→CindyLinz:handle 嗎? XD03/05 23:53

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

作者: tkcn - 發表於 2013/02/12 01:16(13年前)

2^F→CindyLinz:怎樣的更詳細的資訊呀? 不是都被你說完了嗎? @@"02/14 01:32

[ PLT ]14 留言, 推噓總分: +4

作者: puddingDD - 發表於 2012/09/06 23:14(13年前)

1^F推CindyLinz:第一個 * 是「取值」, 第二個 * 是描述 type 的一部分09/06 23:40

尾頁