1樓：Qinxiang Cao
推薦Coq。作為學習用途，Coq和Agda是比較純粹的函式式程式語言。Ocaml等等能夠允許side effect的都不純粹......
Coq和Agda還能夠證明你寫的functional program的性質。這又是其他語言不具備的。這一點對於「學習」這個目的就很重要，當然，對於「開發」就比較雞肋。
當然，IDE環境來說，Coq比Agda好多了。而且Benjamin Pierce的Software Foundation是比較成熟的Coq教材，現在算得上是經得起時間的檢驗了。
2樓：
clojure就別考慮了，沒有TCO根本沒法函式式程式設計。。。。。
學scheme我推薦你學typed racket，不要管其他實現，他們搞了多少年了r7rs還沒出來。
看到很多人推薦haskell，我把tr和hs對比一下吧。。。。
typeclass/overload：haskell勝目前tr就沒辦法過載，不過你倒是可以寫巨集來幫你幹這件事。
型別推倒：haskell勝
由於union type的存在tr很難進行型別推倒。
代數資料型別：haskell勝
同樣的，tr並不能直接生成ADT，但是依然可以寫巨集解決。
union type+typing occurrence：typed racket勝
haskell不支援union type。
巨集系統：typed racket勝
反射：typed racket勝
型別匹配：typed racket勝
haskell的型別匹配是很弱的，而tr還可以通過match expander方便地給型別匹配增加功能。
list comprehension：haskell勝haskell裡面的list comprehension非常優美。
3樓：宇佐見蓮子
haskell吧，不過學習haskell之前應該先鞏固數學基礎你看什麼Introduction to Category theory，
Category theory之類的書啊也就200多頁，附帶習題做完也不多。
也就乙個小目標吧。
磨刀不誤砍柴工啊不懂貓論寫什麼函式式呢，還不是碼農乙個？這樣體現不出你是高貴的fp的使用者。所以說，函式式都是通的，想學先從貓論開始（正色
4樓：阿萊克西斯
如果題主真的聽了大家的話選擇haskell，那麼不如去學idris… 語法什麼都跟haskell差不多，用Atom作為ide也很容易搭建程式設計環境，你還可以多學乙個dependent type和證明式程式設計，type driven development，就算以後想回到haskell也很容易，因為基本你能看懂idris程式你應該就能看懂haskell程式，一舉多得喲。
高中地理生態環境問題和環境問題的區別是什麼？
已登出 從定義上來看，環境問題的範圍大於生態環境問題的範圍。也就是說，生態環境問題其實是環境問題的一部分。環境問題是指由於人類活動作用於周圍環境所引起的環境質量變化，以及各種變化對人類生產生活和健康造成的影響。常見的有 三廢 問題。生態環境問題是是由於生態平衡遭到破壞，導致生態系統的結構和功能嚴重失...
動車是否會破壞生態環境？
布魯魯的夢想 並不會，為什麼這個年代會有人問出這樣的問題，動車應該是最環保的交通工具吧，因為是純電驅動的，至於分割兩塊什麼動物什麼的壓根就不存在的問題，你難道不知道國內客專基本上都是高架嗎？動物從橋下就可以通過了，壓根不存在的問題，可能初期動物不適應動車通過，但是動物有適應性，適應之後根本不存在影響...
我們的生態環境需要更多的人類嗎？
Lyc088 一種是生態已不能承受更多的人類，地球已不堪重負。這種觀點的主要依據是土地有限，水有限，能源有限，汙染越來越嚴重，人口增長將導致饑荒更嚴重，社會的醫療負擔也難以承受。同時，隨著人類進入人工智慧時代，會有大部分失業，失業會成為社會的大問題。一種是生態還能承受更多的人類，因為人類的科技革命，...