中研院資科所傑出學者系列講座六月份邀請到了函數語言學界有名的 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 [...]
標籤
Aad van Wijngaarden Alan Turing ALGOL Benjamin Pierce Christopher Strachey Colossus Coq Dan Piponi Edsger Dijkstra Erik Meijer FLOLAC Guy Steele Haskell Hoare 邏輯 ICFP Jaap Zonneveld Jean-Pierre Jouannaud Luca Cardelli Mervyn Pragnell Oleg Kiselyov Peter J. Landin Peter Naur Ralf Hinze Rod Burstall SCI Turing 機器 Turing 測試 William Cook λ calculus 二元搜尋法 函數編程 單子 型別 抽象資料型別 模型檢查 歷史 河內塔問題 演算法 物件導向 程式推導 結構化程式 荷蘭國旗問題 資料抽象化 資料結構 邏輯分類
-
最近文章
最近回應
彙整