What have you found for these years?

2009-11-30

powerset (2)

...該睡了該睡了該睡了...
不過洗澡時忽然在想,但 IO monad 很明顯是從前面開始算啊?
那為什麼 List Monad 卻是從後面開始算?

IO inside

因為後面的 function depend on 前面的 value,
所以要先算後面的 function, 變成要先算前面的 function.

然而對於 List Monad 來說,卻沒有這樣的限制。
所以其實根本不應該說「順序」,只有「結構」而已。
重點是 value, 而不是 order, 非常合理!

這樣就讓我想到之前那個很神奇的 tree,
挖洞在 tree 裡面,然後最後很神奇地數字就算出來了。
我得找一下那程式在哪裡...
但很明顯那絕對不是 strict 語言可以實作出來的,
完全是靠 non-strict 的機制,一點順序都沒有。
想像 value, 不要想像 flow.

0 retries:

Post a Comment

All texts are licensed under CC Attribution 3.0