國內有沒有學校講Lisp或者函數式編程呢?
01-20
如題
敝校軟體學院孫家廣有一門新開的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代碼?