※ 引述《carelai (风云人物)》之铭言： : 就是以Haskell，OCaml，Clojure，Scala为代表的语言， : 在将来会有前途吗？正面和反面的理由各是什么？谢谢诸位。 我帮 irc 上的前辈简单转达他个人的看法。 要正确分析这问题得从经济跟语言的角度同时讨论，并不是 简单就可以回答的问题，如果是问最容易转移，那答案可能 是 Scale。 下面是我自己的经验。 经济的部份我也回答不了，但如果是讨论语言的话，我还算 有一些心得可以给你，因为 clojure 跟 Scala 不在我的守 备范围内，也就不讲这两个了，就说 haskell、ocaml、sml 、scheme 这四个。 sml 跟 ocaml 是 ML 的两个方言，有人在 coursera PL 课 的讨论区问 Dan Grossman（该课的教授）你自己平常用哪个 sml （PL 课的第一个语言是 SML）实作品，他回答：「我教 学都用 sml，实际开发则用 ocaml 但完全不使用OO 的部份」 sml 有非常严谨的规格定义，只要有写在定义内的，所有实作 都会相容，甚至有直接把其它实作品 lib 拿来用的（mlton）。 但是没写在规格内的东西，大家就会以自己的意思去做，例如 IO ... ocaml 相较於 sml 就没有这麽严谨了，好处是谨此一家，如 果我们不算上微软的 F#.....相较於 sml，ocaml 实用的 lib 很多，处理utf8 的部份也比 sml 方便，如果你跟我一样不 想用 OO 又想逃离 monad，那 ocaml会是不错的选择。 haskell 是目前 ML 系语言中，社群整合最好的，cabal 很方便 就能下载别人写好的 lib 来用，但相较於前两者，要跨过的门 槛就高很多，一般的 FPL 都会提供一个用来宣告 side-effect 变数的方法，即使是很杂的 Common Lisp 也有区分这两者， haskell 用来提供 side-effect 的做法叫作 monad，这还只是 第一个门槛，光这个就可以让人花上半年一年去搞懂它了，更 不必提载下来的两个 lib 都有 monad 的时候该怎麽办了。 但是当我们想了解 Types 是什麽，PL 又是什麽，又例如该怎 麽设计一个 PL 的时候，最容易帮助我们理解并且解决这些问题 的通常会是 FPL，你可以 google 书单，就不多讲这个了。 scheme 也是很不错的语言，除了很多人靠悲的 () 这个，虽然 有规范，但实作品之间的相容度不高，很多时候光是宣告一个 function 的 keyword 就不相容了，这语言好在一致性，开头 一定是函数，如果你看不到函数，那代表被 sugar 隐藏起来了， 至於这语言有多棒多好用，我建议你搜寻「王垠」。 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 36.236.22.105 我还没打完，不小心按到发送了啦XDDDDDDD 本来想要储存，明天再继续打的.....Orz||| ※ 编辑: drm343 来自: 36.236.22.105 (10/04 00:35)