Tag Archives: 函數編程

ICFP 最具影響力論文獎

從 2006 年開始,每次的 International Conference on Functional Programming (ICFP) 回顧十年前發表的論文,看看哪篇最經得起歲月的考驗,在十年中發揮了最大的影響力。ICFP 2010 剛在上個月底落幕,而這是 ICFP 2000 的論文列表。如果您是評審,會頒獎給誰呢?

Posted in 計算算計 | Also tagged , | 2 Comments

Haskell 2010 出爐

Haskell 語言的新標準 Haskell 2010 已在七月六日出爐了。

Posted in 計算算計 | Also tagged | Leave a comment

計算多項式

我有大約 25 分鐘的時間和同學們介紹函數程式演算. FLOLAC ’10 的同學少部份學過 Haskell 或其他函數語言,大部份只在一週前學了三小時的 OCaml, 寫了一些程式作業,但對 fold 之類的抽象觀念可能還難以掌握。

Posted in 計算算計 | Also tagged , , | Leave a comment

傑出學者系列講座: Euterpea: from Signals to Symphonies

中研院資科所傑出學者系列講座六月份邀請到了函數語言學界有名的 Paul Hudak. Hudak 是 Haskell 語言設計者之一,IFIP Working Group 2.8 (函數編程) 的成員,以及 Journal of Functional Programming 共同總編輯之一。 1992 – 1996 年間他曾在自己的 Jazz 樂團擔任鋼琴手,難怪他很受函數語言初學和入門者喜愛的 The Haskell School of Expression 一書會以音樂、繪圖、動畫為例示範如何以函數語言思考和解決問題。他也是耶魯大學「計算與藝術創意交融(C2 – the Creative Consilience of computing and the arts)」學程創辦人之一。這次他將介紹一個描述電腦音樂的特殊領域語言 Euterpea。 主題 : Euterpea: from Signals to Symphonies 主講人 : Dr. Paul Hudak 主講人單位 : Department of [...]

Posted in 活動消息 | Also tagged | Leave a comment

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

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

Posted in 函數編程簡介, 計算算計 | Also tagged , | 10 Comments

單子 (monad) 入門(一)

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

Posted in 函數編程簡介, 計算算計 | Also tagged , | 11 Comments

Erik Meijer 在 Channel 9 講授函數編程

Erik Meijer 正在微軟社群 Channel 9 上發佈一系列十三集的教學影片 Functional Programming Fundamentals,講解函數編程。第一集在第一天就達到了一萬次點閱量,兩週內得到十萬次點閱。

Posted in 活動消息, 計算算計 | Also tagged , | 1 Comment

關於函數編程(三)摺疊-映射融合定理

函數語言程式有比較好的數學性質,我們可用來對程式做各種推論和操作。

Posted in 函數編程簡介, 計算算計 | Also tagged | Leave a comment

關於函數編程(二)摺疊與抽象化

三個函數都同樣地把串列從左至右走訪一遍,差別僅在碰到串列結尾時分別傳回不同的值,並用不同的運算元處理遞迴呼叫的結果。我們能不能讓這三個函數共用同一個定義呢?

Posted in 函數編程簡介, 計算算計 | Also tagged | 3 Comments

關於函數編程(一)On Functional Programming

由指令語言的觀點看函數語言,注意到的第一件事情是「函數語言裡面不可以改變數的值」。於是大家難免覺得奇怪,這怎麼會是個優點呢?自廢武功去掉一個功能,會有什麼好處呢?

Posted in 函數編程簡介, 計算算計 | Also tagged | 1 Comment