作者查詢 / Favonia

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

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

限定看板：PLT

首頁

尾頁

[問題] What does ⊥-elimination do?

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

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

6^F推Favonia:建議不要用 Haskell 了解這麼嚴謹的東西 xDDDD03/06 13:18

[問題] 關於 Object augmentation

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

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

3^F推Favonia:也許這功能背後有深奧的理論，但目前看來只是一個 map02/15 19:09

4^F→Favonia:如果是這樣的話，新名詞就可有可無啦 xD02/15 19:12

[問題] Scheme call/cc

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

作者: suhorng - 發表於 2012/12/30 18:42(11年前)

1^F→Favonia:有點忘了 Scheme 語法了... (k k) 直接丟回去可以嗎 xD12/30 21:44

Re: [問題] Haskell新手一些問題

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

作者: xcycl - 發表於 2012/12/12 09:14(11年前)

3^F→Favonia:我想 impure 不代表一定存在兩個不一樣的結果12/12 11:16

[問題] 請問flolac 2012今年會有嗎？

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

作者: sinicauto - 發表於 2012/04/30 18:30(12年前)

6^F推Favonia:\^o^/05/01 20:26

Re: [問題] 想請問一個關於"參數傳遞"的問題

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

作者: Favonia - 發表於 2012/01/05 08:11(12年前)

3^F→Favonia:Haskell 因為要 "pure" 所以寫起來長了一點 xD01/13 08:46

Re: [問題] 想請問一個關於"參數傳遞"的問題

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

作者: yauhh - 發表於 2012/01/02 00:32(12年前)

1^F推Favonia:剛才看一下 RHA 的實作... 它這方面沒有完全實作 Algol 6001/03 08:59

2^F→Favonia:允許的東西 orz01/03 08:59

7^F推Favonia:所以其實它比較像是 call-by-reference...01/04 23:24

8^F→Favonia:唔這樣講好像也不完全對，不過你應該知道我的意思 xD01/04 23:25

10^F→Favonia:嗯。 https://groups.google.com/d/msg/comp.compilers/01/05 07:18

11^F→Favonia:s7aM6tttNIs/5ccJtJQUPlMJ01/05 07:18

[問題] Lazy Evaluation?

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

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

5^F推Favonia:>>= 應該不會強迫左邊算到底，所以應該是無辜的 xD11/13 20:29

7^F推Favonia:我的意思是說只有 >>= 並不妨礙，可能你的理解是正確的 xD11/14 06:19

9^F推Favonia:>>= 只需要判斷左邊沒有 fail 即可，但 sequence 要如何決11/14 21:13

10^F→Favonia:定有沒有 fail? 只能全部看過一次！只要有個 fail 就會全11/14 21:15

11^F→Favonia:部 fail. 然後 sequence 為了應付 >>= 也只需要檢查有沒有11/14 21:16

12^F→Favonia:fail 就好，不需要「算到底」。除非用 deepseq 之類的東西11/14 21:17

13^F→Favonia:惡搞否則很難算到底...11/14 21:17

14^F→Favonia:上面的理解有個作弊的地方，就是我假設 sequenceWhile 要11/14 21:19

15^F→Favonia:算到至少 Weak head normal form. 實際上得從 main 開始11/14 21:19

16^F→Favonia:逆推才知道什麼是非算不可的...11/14 21:19

首頁

尾頁