國內有沒有學校講Lisp或者函數式編程呢?

如題


敝校軟體學院孫家廣有一門新開的Haskell課;數學系劉思齊有一門Mathematica暑期課;(抱歉,無鏈接)

北大數院的裘宗燕有SICP課(他就是譯者):程序設計技術和方法 :: Structure and Interpretation of Computer Programs :: SICP :: 課程 :: 裘宗燕;

中山大學的喬海燕有一門Haskell課:函數程序設計

復旦微電子系有一門Haskell課《從C/C++到Haskell——函數式程序設計導引》(感謝 @呂文龍補充)

諾丁漢大學(寧波)有一門Haskell課,欲知詳情可at @閱千人而惜知己(感謝 @張克炎補充)

另外還有教編程語言理論的課,這些課也會涉及函數式編程。

北京大學《編程語言的設計原理》:編程語言的設計原理

中科大《Foundations of Programming Languages》:Foundations of Programming Languages, Spring 2015

中科大《Theories of Programming Languages》:Theories of Programming Languages, Spring 2015

上海交大《Programming Languages》:CS383 Programming Languages(感謝 @賀俊嘉 補充)

浙江大學《Principles of Programming Languages》:Principles of Programming Languages(感謝 @邢暢 補充)

南京大學《程序設計語言概論》:PL08 &< ICSatNJU &< TWiki(感謝 @RednaxelaFX 補充)

北航《程序設計語言原理》:程序設計語言原理

香港大學《Principles of Programming Languages》:Bruno C. d. S. Oliveira(感謝 @鍾宇騰 補充)

香港科技大學《Principles of Programming Languages》:COMP 3031 - Fall 2012(感謝 @方澤圖 補充)

歡迎各位繼續補充。


我在南京大學上的軟體工程課里沒有教函數式編程的,但計算機科學那邊有。

於是去蹭了那邊的課,沒記錯的話那門叫做「計算機程序設計語言概論」。我的Scheme就是從這裡開始學的,用的是Petite Chez Scheme。

印象中還在同一學期順便學了SML和Ocaml(後來ML系就主要用OCaml了…),還有一點Prolog。

下面評論里 @寒風補充說這門課現在換了老師改用《Language Implementation Patterns》講DSL了?


香港的算么?鄙人的老闆Bruno Oliveira在本科生中開了一門用Haskell寫Interpreter的課


我校微電子系開有haskell課程 從C/C++到Haskell——函數式程序設計導引


上交SE有《程序語言》課程,用ML、Racket、Ruby講PLT的基礎以及語言設計問題,面向本科生+研究生。函數式可以順便學掉,不過按我院傳統,語言學習原則上自行解決。


北大有講 SICP 的。老師是該書的中文版譯者。年紀挺大的。

去聽過兩節課,節奏有點快。需要做大量課前預習。


中山大學軟體學院有開haskell課程,選修課,外教,前年我就上了,感覺還不錯。


復旦軟院好像用 scheme 還是racket


有,計算機輔助老師,一共只有八個周的課,剛開始講auto cad,後來會講lisp編程。老師是個老教授,很喜歡他,雖然上課會聽著聽著睡著。。


推薦閱讀:

函數式編程必讀論文有哪些?
haskell中 foldr 與foldl的差別?
Clojure如何保證函數式編程的純度(purely functional programming)?
關於函數式編程的思考?
如何理解下面這段Haskell代碼?

TAG:編程 | 函數式編程 | Lisp |