s*i 发帖数: 5025 | 1 拍案叫绝!
艾玛,时间竟有如此神物竟然不知!找个地缝钻进去算了!
感觉这货已经不能简单的定义为一种语言了,而是一种思维方式和做事哲学。当然这并
不是说它能马上让你解决所有的问题。LINQ那些东西原来是这里来的啊。Higher Order
Functions处理大于两个参数的原理,简直就是神来之笔 |
l*y 发帖数: 21010 | 2 right on bro
Order
【在 s*i 的大作中提到】 : 拍案叫绝! : 艾玛,时间竟有如此神物竟然不知!找个地缝钻进去算了! : 感觉这货已经不能简单的定义为一种语言了,而是一种思维方式和做事哲学。当然这并 : 不是说它能马上让你解决所有的问题。LINQ那些东西原来是这里来的啊。Higher Order : Functions处理大于两个参数的原理,简直就是神来之笔
|
l*y 发帖数: 21010 | 3 fuck the haters: goodbug
【在 l*y 的大作中提到】 : right on bro : : Order
|
l******t 发帖数: 55733 | |
c******o 发帖数: 1277 | 5 本来就几乎是FP society的“official language”,从Lazy ML来的, FP有啥研究,都
是拿它做实验,然后再推广。
purely pure FP & lazy evaluation for all
基本上是 Scala的root 之一。
Lisp是FP另外一大支系, 是Clojure的直系祖先。
Lisp/ML的几大区别就是dynamic/static, simple/complex, free form/complex
restraint
基本这些区别上在Clojure/Scala上都能看得到。
http://www.manning.com/bjarnason/
基本上就是用Scala来做成一个jvm haskell......
当然,我不赞成pure FP in real work
Order
【在 s*i 的大作中提到】 : 拍案叫绝! : 艾玛,时间竟有如此神物竟然不知!找个地缝钻进去算了! : 感觉这货已经不能简单的定义为一种语言了,而是一种思维方式和做事哲学。当然这并 : 不是说它能马上让你解决所有的问题。LINQ那些东西原来是这里来的啊。Higher Order : Functions处理大于两个参数的原理,简直就是神来之笔
|
c******o 发帖数: 1277 | 6 oh, BTW, both Common Lisp/Haskell are amazing and represent totally
different mindset to program, compare to normal c/c++/java way of thinking.
【在 c******o 的大作中提到】 : 本来就几乎是FP society的“official language”,从Lazy ML来的, FP有啥研究,都 : 是拿它做实验,然后再推广。 : purely pure FP & lazy evaluation for all : 基本上是 Scala的root 之一。 : Lisp是FP另外一大支系, 是Clojure的直系祖先。 : Lisp/ML的几大区别就是dynamic/static, simple/complex, free form/complex : restraint : 基本这些区别上在Clojure/Scala上都能看得到。 : http://www.manning.com/bjarnason/ : 基本上就是用Scala来做成一个jvm haskell......
|
n*w 发帖数: 3393 | 7 我上次在一个haskell的video看到反复提到一个叫Agda的语言。
http://en.wikipedia.org/wiki/Agda_%28programming_language%29
wiki说是基于一个中国人的type理论。
“Agda is based on Zhaohui Luo's UTT[4] a type theory similar to Martin-L
246;f type theory.”
有说比haskell还powerful。
【在 c******o 的大作中提到】 : 本来就几乎是FP society的“official language”,从Lazy ML来的, FP有啥研究,都 : 是拿它做实验,然后再推广。 : purely pure FP & lazy evaluation for all : 基本上是 Scala的root 之一。 : Lisp是FP另外一大支系, 是Clojure的直系祖先。 : Lisp/ML的几大区别就是dynamic/static, simple/complex, free form/complex : restraint : 基本这些区别上在Clojure/Scala上都能看得到。 : http://www.manning.com/bjarnason/ : 基本上就是用Scala来做成一个jvm haskell......
|
q*c 发帖数: 9453 | 8 直到被老板呵斥的时候, 呵呵
【在 l******t 的大作中提到】 : 那看完typed lambda你会觉得你是上帝
|