What have you found for these years?

2010-02-21

domain theory

去年.. 不,是 2008 年,在 FLOLAC 聽了
Semantics of Functional Programming Languages,
裡面 domain theory 感覺好像快搞懂了,
可惜後來一沒接觸,一下就忘光了...

無奈後來看到不少東西,都覺得這似乎好像是基本概念似的?
所以有時候會去翻翻 wikipedia, 但一直沒看懂過。
剛剛邊吃宵夜邊翻那頁,忽然覺得好像喚醒了一部份那時候的記憶...

擊中我的那幾句話是:

because some functions (for example, the successor
function) do not have a fixed point. At best, the
genuine function corresponding to Y would have to be a
partial function, necessarily undefined at some inputs.
[...]
an additional element that represents an undefined
output, i.e. the "result" of a computation that never ends.

啊,這可不是熟悉(面熟裡不熟)的 bottom 又回來了? XD
再翻翻 wikipedia 裡 greatest element 那頁,
也就是 bottom 那頁,就開始覺得喚醒那時候聽到的些東西。

我不記得以前 wikipedia domain theory 那邊有這幾段。
如果說這是後來才補上去的,是啊,畢竟都快兩年了不是嗎?
也真的只能再次感嘆,wikipedia 真的是很偉大。我也很確定,
很多頁從我剛開始看覺得怪怪的,甚至有錯的,後來都改掉了。
像是 evaluation strategy, 還有一些也是跟名詞分類有關的,
現在一時想不起來有哪些,都改過很多次了。
如果說網頁界第一個要感謝的是 google 的話,
第二個我肯定要感謝 wikipedia 了。當然啦,
這只是單純指「現在」哪個「網站」對生活影響很大而已。
網頁發展就絕對不是感謝誰誰誰就可以說明的...

想到這邊,宵夜也吃完了,念頭一下又轉到很遠。
儘管知道自己沒有辦法,但仍然很想把這些東西搞懂。
當然這也不是說有什麼好處,一方面是受到很多幫助與教誨,
自己也要努力些,另一方面則當然是興趣了...

非常漫長與緩慢的過程,想到這裡又覺得好像不該這樣對自己身體,
畢竟這也會讓理解力、清醒程度、記憶力都下降。
何須總是認為沒有辦法到一定高度就不管到哪裡都沒差...
至少自己會覺得有趣,不要去看邊界,不是嗎?
有用沒用這種事也從來就沒在考慮範圍內...

那麼我現在也該去睡了喔?哈哈...

另一方面,也抓了幾本 category theory 的書,
可能就隨意翻翻看,看得懂也好,看不懂也罷,多看些名詞,
再去找其他東西相互印證也很好。畢竟,雖然有時候名詞有差,
但感覺到處都有 bottom 的概念啊...

==
全部標為程式似乎過分廣義,不過要分小項目很累咧...
編輯標籤也不是那麼方便的事,所以還是當個小參考就好吧 :/

0 retries:

Post a Comment

All texts are licensed under CC Attribution 3.0