基于JVM的功能式编程

发布者:    |      

各位,所有那些高谈阔论ohmigod功能式编程的神奇之处!!!!——这里所说的就是使用像map()filter()这样的高阶函数——在具有普遍副作用的一些语言中——都让人感到非常厌倦。在80年代,Smalltalk程序员们管那叫面向对象编程。Java没有高阶函数是一种愚蠢的历史错误,所以把高阶函数放回它们应该存在的地方并不是某种伟大的范式转变。现在,Java语言家族确实正在从学术社区围绕ML和Haskell等语言进行的类型系统研究中学到很多,但高阶函数却是最不有趣的事情。

我的看法是:如果你真的认为功能式编程是计算机的将来,那么为JVM写一个Standard ML编译器吧。ML有一个强大的静态类型系统和清晰的语法,非常周密和详尽,甚至对于功能语言来说也相当易读。而且它不是与其他语言混合的杂糅;如果你能运行编译器,我承诺会认真考虑在新平台(Ceylon)上支持ML作为替代语言的可能性。

这只是个建议...

附言:是的,我本想说Haskell,但我想在JVM上实现非严格求值会很困难。而且我不认为我们能完好无损地度过不可避免的ohmigod MONADS!!!!!博客洪流 ;-)


返回顶部