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你会觉得你是上帝
|
