大家觉得Haskell之类的语言怎么样？

Question

纯粹的函数式程序设计语言。
1、所有的“变量”都是常量，或者说表达式的名字；
2、所有的pure的函数都是引用透明的，没有副作用；
3、所有的副作用被Monad明确指出并隔离；
4、Lazy Evaluation；
5、压根就没有“指针”、“引用”之类的概念；
。。。。。这种语言的属性，对于编译器来说简直是天堂呀。

而且，还有一篇文章讨论了TransactionalMemory在Haskell中高效、简单的实现（这篇文章是函数语言的老大写的）。
我觉得，自动并行化对于这类语言似乎是很有希望的。在今天处理器的趋势下，这类语言应该好好推广一下。
当然，这类语言对程序员的要求似乎有所提高，不过，重赏之下必有勇夫，如果这类语言真能做到高效地开发并行程序，还是会有很多人学会的。

Answer 1

Haskell我不懂.在我看来,sed,awk,Makefile这三个语言设计的不错，特别是sed与Makefile,虽然它们是专用语言。

Answer 2

推荐看一下，主站在http://www.haskell.org
你很喜欢数学吧，Haskell非常接近数学本身，比较远离计算机的具体实现。这也是我说它对程序员要求可能会稍微高一些的原因。它的基础是lamda演算，也是lamda演算比较直接的实现。它和awk以及c之类的命令式语言在理念上就有非常大的差别。
我觉得喜欢数学的人看过它之后，一定会用“漂亮”这个词来形容它，而且会觉得C啦，Java啦是很“丑”的语言。
呵呵，总之，非常推荐。

原帖由 cjaizss 于 2008-8-29 22:38 发表
Haskell我不懂.在我看来,sed,awk,Makefile这三个语言设计的不错，特别是sed与Makefile,虽然它们是专用语言。

Answer 3

原帖由 freearth 于 2008-8-29 23:32 发表
推荐看一下，主站在http://www.haskell.org
你很喜欢数学吧，Haskell非常接近数学本身，比较远离计算机的具体实现。这也是我说它对程序员要求可能会稍微高一些的原因。它的基础是lamda演算，也是lamda演算比较 ...

这倒没什么,抽象的表达比计算机语言灵活的多,呵呵.

Answer 4

原帖由 freearth 于 2008-8-29 06:02 发表
纯粹的函数式程序设计语言。
1、所有的“变量”都是常量，或者说表达式的名字；
2、所有的pure的函数都是引用透明的，没有副作用；
3、所有的副作用被Monad明确指出并隔离；
4、Lazy Evaluation；
5、压根 ...

自动并行很难说能走多远。对于学习C语言根深蒂固的人来说学Haskell需要适应一段时间，我觉得对于C程序员来说主要好处在于开拓程序设计的思路。

Answer 5

貌似是写并发程序的,scheme也是不错的fp语言

Answer 6

原帖由 citypw 于 2008-8-30 20:21 发表
貌似是写并发程序的,scheme也是不错的fp语言

还有OCaml

Answer 7

原帖由 citypw 于 2008-8-30 04:21 发表
貌似是写并发程序的,scheme也是不错的fp语言

你说的是二郎吧，haskell的特色应该是纯粹的函数编程。