Monthly Archives: 十一月 2009

為何 SCI 論文數不適合評鑑資訊科學

一篇電腦科學 SCI 論文所引用的文獻平均有將近一半是不在 SCI 資料庫中的。「最常被引用學者」中並沒有 Wirth, Parnas, Knuth 等人。Mattern 說,ISI 眼中的電腦科學和學界的實況根本就是「兩個世界。」

Posted in 未分類 | 4 Comments

單子 (monad) 入門(二)讀取單子

一個算式的語意成了「拿一個環境,傳回一個整數」的函數。的確,既然算式算成的那個整數必須由環境決定,算式其實不能看作一個數子,而應該是從環境到整數的函數才對。

Posted in 未分類 | 10 Comments

程式設計的公設基礎:四十年後

1969 年,C.A.R. Hoare 在 Communication of the ACM (12(10):576–580) 發表論文 An Axiomatic Basis for Computer Programming,在文中提出後來被稱作 Hoare 邏輯的一套公設系統, 被認為是計算科學史上最重要的幾篇論文之一。時間轉眼間過去了,今年已經是這篇論文的四十歲生日。

Posted in 未分類 | 2 Comments

單子暖毛毛

Haskell 唯一的大錯誤,Simon Peyton Jones 說,是「單子」這冰冷生硬的數學名詞把人嚇跑了。我們應該把它取名為「暖毛毛(warm, fuzzy thing)」之類的。

Posted in 未分類 | Leave a comment

單子 (monad) 入門(一)

函數 return 把一個型別為 a 的值「提升」到 m a;x >>= f 大致上的意思是執行 x 代表的運算,如果得到一個型別是 a 的值,把他傳給 f. 結果的型別是 m b.

Posted in 未分類 | 11 Comments

William Cook 談物件導向與抽象資料型別

廿五年過去了,Cook 說,我們對於抽象資料型別(abstract data type)物件(objects)這兩種達到資料抽象化的方法仍有普遍的誤解。

Posted in 未分類 | Leave a comment