游擊隊式的邏輯學: 向 Mervyn Pragnell 致意
Mervyn Pragnell 從沒擔任過學術工作,也沒有發表過論文。但他把英國電腦科學的幾個關鍵角色介紹給彼此,同樣重要地,讓他們認識了 Alonzo Church 的 λ calculus.
Mervyn Pragnell 從沒擔任過學術工作,也沒有發表過論文。但他把英國電腦科學的幾個關鍵角色介紹給彼此,同樣重要地,讓他們認識了 Alonzo Church 的 λ calculus.
Danvy 說,我們又失去了一位大師。但電腦科學與其他領域不同的一點是,還有很多大師還活著。趁他們還健在時多與他們討教吧。
因前列腺癌逝世,享年 78 歲的 Peter Landin 有著多采多姿的一生:他是政治基進份子、同志運動者、和傑出的電腦科學家。靠著他在 1950、60 年代提供的創意,他打下了驅動著今日筆記電腦、桌上電腦、和網路的軟體的基礎。
為了寫前幾篇文章,找到一些關於 Turing 的有趣資訊。
李講的故事是: Turing 是個不世出的天才,有一天突然靈光一閃跑去跟英國政府說我會做電腦、會解密碼唷。這是李所指的「創意」。而天才雖有創意,還是要靠「優秀的工程師」「將他的理論用電子線路予以實現」。這是李所指的「基本功夫」。而結論是,所以,我們應該加強基本功夫。
我們對非我族類的歧視偏見依舊,而歧視迫害仍然在最合法、最符合社會期待、最合邏輯也最合情合理的範疇下發生著。
英國政府終於向 Turing 道歉。這本可當作談許多議題的契機:關於偏見、關於恐同、關於歧視、關於惡法、關於國家權力以及視而不見的大眾、關於其他曾受迫害和正受迫害的邊緣族群、關於療傷、關於遲來的正義與和解。
函數語言程式有比較好的數學性質,我們可用來對程式做各種推論和操作。
咦?那真是太巧了。當時我也站在一旁聽,而且記得 Okasaki 的那句回答。那時我還不認識 Oleg 呢。世界真奇妙呀。
三個函數都同樣地把串列從左至右走訪一遍,差別僅在碰到串列結尾時分別傳回不同的值,並用不同的運算元處理遞迴呼叫的結果。我們能不能讓這三個函數共用同一個定義呢?