By Shin | Published: 七月 12, 2010
Haskell 語言的新標準 Haskell 2010 已在七月六日出爐了。
Posted in 計算算計 | Also tagged 函數編程
By Shin | Published: 七月 12, 2010
我有大約 25 分鐘的時間和同學們介紹函數程式演算. FLOLAC ’10 的同學少部份學過 Haskell 或其他函數語言，大部份只在一週前學了三小時的 OCaml, 寫了一些程式作業，但對 fold 之類的抽象觀念可能還難以掌握。
Posted in 計算算計 | Also tagged FLOLAC, 函數編程, 程式推導
By Shin | Published: 十一月 14, 2009
一個算式的語意成了「拿一個環境，傳回一個整數」的函數。的確，既然算式算成的那個整數必須由環境決定，算式其實不能看作一個數子，而應該是從環境到整數的函數才對。
Posted in 函數編程簡介, 計算算計 | Also tagged 函數編程, 單子
By Shin | Published: 十一月 8, 2009
函數 return 把一個型別為 a 的值「提升」到 m a；x >>= f 大致上的意思是執行 x 代表的運算，如果得到一個型別是 a 的值，把他傳給 f. 結果的型別是 m b.
Posted in 函數編程簡介, 計算算計 | Also tagged 函數編程, 單子
By Shin | Published: 十月 31, 2009
Erik Meijer 正在微軟社群 Channel 9 上發佈一系列十三集的教學影片 Functional Programming Fundamentals，講解函數編程。第一集在第一天就達到了一萬次點閱量，兩週內得到十萬次點閱。
Posted in 活動消息, 計算算計 | Also tagged Erik Meijer, 函數編程
By Shin | Published: 七月 26, 2009
函數語言程式有比較好的數學性質，我們可用來對程式做各種推論和操作。
Posted in 函數編程簡介, 計算算計 | Also tagged 函數編程
By Shin | Published: 七月 26, 2009
咦？那真是太巧了。當時我也站在一旁聽，而且記得 Okasaki 的那句回答。那時我還不認識 Oleg 呢。世界真奇妙呀。
Posted in 計算算計 | Also tagged Oleg Kiselyov, 資料結構
By Shin | Published: 七月 12, 2009
三個函數都同樣地把串列從左至右走訪一遍，差別僅在碰到串列結尾時分別傳回不同的值，並用不同的運算元處理遞迴呼叫的結果。我們能不能讓這三個函數共用同一個定義呢？
Posted in 函數編程簡介, 計算算計 | Also tagged 函數編程
By Shin | Published: 六月 28, 2009
由指令語言的觀點看函數語言，注意到的第一件事情是「函數語言裡面不可以改變數的值」。於是大家難免覺得奇怪，這怎麼會是個優點呢？自廢武功去掉一個功能，會有什麼好處呢？
Posted in 函數編程簡介, 計算算計 | Also tagged 函數編程