新的功能语言

Question

函数式编程至少从1958年开始(Lisp的创建),但现在正在经历复兴,旧的函数式语言被拂去,新的函数式语言被创建.

哪些功能语言是新开发的或正在制作的？

我意识到你可以用大多数高级语言编写纯函数式程序,所以对于函数式语言,我暗示专门为F#等函数式编程设计的语言.

如果您有教程,维基或代码示例的链接,我建议您将它们添加到您的答案中!

Answer 1

这是我到目前为止测试过的一个简短列表(除了F#,你已经提到过):

所以Erlang(自1986年以来)和Haskell(自1990年以来)仍然被认为是"新开发的";) (6认同)
@shahkalpesh:F#相当容易学习.Scala非常简单但不那么直观,也不像创新,imo.我从来没有真正喜欢过Newspeak,所以我很快就退出了.Erlang是非常强大的,但我没有很好地处理它的语法,没有发现它很容易.Haskell有一个很好的语法,它非常直观,但如果你习惯用命令式语言编程,那么它的纯粹可能需要一些时间.但是,一旦你习惯它,它很酷.如果你很容易入手,包括获取工具等,无论如何,F#是无与伦比的:简单的语言,很棒的工具! (2认同)

Answer 2

我很开心像ML(Caml),Haskell和Erlang这样的古老作品被视为"新的".Scala是真正的新东西,F#试图将旧语言ML改编成.NET框架,并且必将是有趣的.

如果你想要一些非常新的东西,Agda就是"新的Haskell".Agda结合了从Haskell等20年历史的语言和ML等30年历史的语言中学到的许多经验教训,并推动了最新的类型系统工作.保证让你的头爆炸或加倍你的钱!

Scala已经6岁了.也许与一些新人相比. (2认同)
我认为Haskell还有多年的里程数,而且还有一些有趣的新想法,比如类型系列和Data Parallel Haskell.但是现在Haskell已经成为主流,拥有书籍和所有东西,所以它不再是"下一个新事物". (2认同)

Answer 3

想加入OCaml.我很被吸引,因为它非常注重性能.如果我理解正确,F#来自OCaml.

但它不仅仅是功能性的,它也非常适合命令式编程.

Answer 4

Haskell已经存在了一段时间,并且已经完成了许多基本的东西(足以编写可靠的生产应用程序),但在很多方面它仍然是一种学术语言.这真是一件美好的事情:作为一名商业程序员,我可以很好地完成我的工作,但我有能力深入研究一些其他语言无法提供的更有趣的概念和技术,而无需转换为方言我无法部署我的日常代码.

在Haskell中进行编程时,看到未来如此接近以至于可以触摸它是非常有趣的.