n****1
发帖数: 1136 | 1 大家都知道脚本语言的开发效率通常高过C/Java这些只能编译运行的语言， 原因包括
1. 不用输入类型， 节省时间。
2. Interactive shell, 能够即刻知道错误, 不用等到编译时再去看那整屏的错误信息
。 而且debug方便.
3. 语法简洁， 没有太多括号。
这些haskell都有. 虽然是强类型， 当haskell的type inference几乎可以自动获取所
以类型。 所以在快速开发时可以不用做type signature. Signature更多是起到注释的
作用。
scala也有interactive shell, 但type inference要弱一些， 只能做local inference
, 没有global inference. 所以还是省不了类型。
clojure括号一大堆, 用interactive shell反而没有用编辑器顺手(shell里面 数括号
就把人数晕了). |
p*****2
发帖数: 21240 | |
c******o
发帖数: 1277 | 3 haskell是真正的纯fp，因为这个很多它的东西别人都没法做，没法模仿。
比如completely type inference, total lazy eval, total referential
transparency.
inference
【在 n****1 的大作中提到】
: 大家都知道脚本语言的开发效率通常高过C/Java这些只能编译运行的语言， 原因包括
: 1. 不用输入类型， 节省时间。
: 2. Interactive shell, 能够即刻知道错误, 不用等到编译时再去看那整屏的错误信息
: 。 而且debug方便.
: 3. 语法简洁， 没有太多括号。
: 这些haskell都有. 虽然是强类型， 当haskell的type inference几乎可以自动获取所
: 以类型。 所以在快速开发时可以不用做type signature. Signature更多是起到注释的
: 作用。
: scala也有interactive shell, 但type inference要弱一些， 只能做local inference
: , 没有global inference. 所以还是省不了类型。
|
n*w
发帖数: 3393 | 4 F#满足1，2，3. 粗一看还以为是dynamic typing。
可以在editor里highlight 一段code；control-enter在interactive shell中运行。 |
n****1
发帖数: 1136 | 5 你该提Ocaml而不是F#, 后者不过是微软的copycat+marketing hype, 没有任何超越
Ocaml的地方。 Ocaml确实还可以
现在有的远见的都是见了.Net就躲的，因为丫玩的是vendor locking.
【在 n*w 的大作中提到】
: F#满足1，2，3. 粗一看还以为是dynamic typing。
: 可以在editor里highlight 一段code；control-enter在interactive shell中运行。
|
g*****g
发帖数: 34805 | 6 现在见 .net就躲不叫什么远见，就是个现实问题。silverlight rule it all 话犹在
耳。
【在 n****1 的大作中提到】
: 你该提Ocaml而不是F#, 后者不过是微软的copycat+marketing hype, 没有任何超越
: Ocaml的地方。 Ocaml确实还可以
: 现在有的远见的都是见了.Net就躲的，因为丫玩的是vendor locking.
|
p*****2
发帖数: 21240 | 7
大牛怎么看M#的？
【在 g*****g 的大作中提到】
: 现在见 .net就躲不叫什么远见，就是个现实问题。silverlight rule it all 话犹在
: 耳。
|
n****1
发帖数: 1136 | 8 不了解， 而且对带"#"的不感兴趣。 想想在cloud上面还要用windows/azure就蛋痛。
【在 p*****2 的大作中提到】
:
: 大牛怎么看M#的？
|
g*****g
发帖数: 34805 | 9 不懂，不敢评论，不过微软上次让人眼前一亮是 kinect, 还是收购来的技术。
【在 p*****2 的大作中提到】
:
: 大牛怎么看M#的？
|
d*******r
发帖数: 3299 | 10 kinect 是收购来的？？还以为是MS原创的。
不是说 kinect 出后来，他们头就被斗走了吗?
【在 g*****g 的大作中提到】
: 不懂，不敢评论，不过微软上次让人眼前一亮是 kinect, 还是收购来的技术。
|
|
|
g*****g
发帖数: 34805 | 11 核心技术是以色列的，当然微软做了整合。
Kinect builds on software technology developed internally by Rare, a
subsidiary of Microsoft Game Studios owned by Microsoft, and on range camera
technology by Israeli developer PrimeSense, which developed a system that
can interpret specific gestures, making completely hands-free control of
electronic devices possible by using an infrared projector and camera and a
special microchip to track the movement of objects and individuals in three
dimensions.[16][17][18] This 3D scanner system called Light Coding[19]
employs a variant of image-based 3D reconstruction.[20][21]
【在 d*******r 的大作中提到】
: kinect 是收购来的？？还以为是MS原创的。
: 不是说 kinect 出后来，他们头就被斗走了吗?
|
n*w
发帖数: 3393 | 12 ocaml的ide可能做不到之前提到select/eval.
F#本身是open source的，有非ms的实现，可以运行在不同的平台，有人甚至认为F#的
未来取决于非MS的实现。
F#在金融公司也用的不少。在tobie里在前20里，可能是排在最前的functional
programming language了吧。
ocaml有些高级的功能可惜没有在f#里实现。f#要是是ocaml的一个超集就好了。
【在 n****1 的大作中提到】
: 你该提Ocaml而不是F#, 后者不过是微软的copycat+marketing hype, 没有任何超越
: Ocaml的地方。 Ocaml确实还可以
: 现在有的远见的都是见了.Net就躲的，因为丫玩的是vendor locking.
|
w**z
发帖数: 8232 | 13 刚买的电脑，装的win8, 其实还不错啦。
【在 g*****g 的大作中提到】
: 不懂，不敢评论，不过微软上次让人眼前一亮是 kinect, 还是收购来的技术。
|
g*****g
发帖数: 34805 | 14
^^^^^^^^^^^^^^^^^^^^^
看看mono就知道非ms实现有什么未来。就不说F#还小众多了。
【在 n*w 的大作中提到】
: ocaml的ide可能做不到之前提到select/eval.
: F#本身是open source的，有非ms的实现，可以运行在不同的平台，有人甚至认为F#的
: 未来取决于非MS的实现。
: F#在金融公司也用的不少。在tobie里在前20里，可能是排在最前的functional
: programming language了吧。
: ocaml有些高级的功能可惜没有在f#里实现。f#要是是ocaml的一个超集就好了。
|
n****1
发帖数: 1136 | 15 既然ocaml有interactive shell, 为啥需要搞个fancy IDE? Interactive shell能跨平
台， visual studio能么？
“有人甚至认为F#的未来取决于非MS的实现”， “f#要是是ocaml的一个超集就好了”
你这个叫wishful thinking.
F#之所以比Ocaml更吸引眼球， 不就是微软的hype么？ 你要开源界放着个已经实现了
的Ocaml不管， 重新实现个F#(which is just a subset)，不是吃饱了撑着么？
【在 n*w 的大作中提到】
: ocaml的ide可能做不到之前提到select/eval.
: F#本身是open source的，有非ms的实现，可以运行在不同的平台，有人甚至认为F#的
: 未来取决于非MS的实现。
: F#在金融公司也用的不少。在tobie里在前20里，可能是排在最前的functional
: programming language了吧。
: ocaml有些高级的功能可惜没有在f#里实现。f#要是是ocaml的一个超集就好了。
|
n*w
发帖数: 3393 | 16 我举的ide的原因是读到你这段。ide里有intelligence，hint等很多feature让写代码
比shell里容易多了。难道你不就是表达这个意思？
“clojure括号一大堆, 用interactive shell反而没有用编辑器顺手(shell里面 数括号
就把人数晕了).”。
好吧，我取消对F#的wish。只是纯感叹。
ocaml比F#早出来快十年，却没F#普及。我宁愿看到有个ML语言普及。难道MS没有出个F
#，Ocaml就会是今天F#这个普及率？我忍不住又wishful thinking一下，希望haskell
在tobie里尽快排进20。
【在 n****1 的大作中提到】
: 既然ocaml有interactive shell, 为啥需要搞个fancy IDE? Interactive shell能跨平
: 台， visual studio能么？
: “有人甚至认为F#的未来取决于非MS的实现”， “f#要是是ocaml的一个超集就好了”
: 你这个叫wishful thinking.
: F#之所以比Ocaml更吸引眼球， 不就是微软的hype么？ 你要开源界放着个已经实现了
: 的Ocaml不管， 重新实现个F#(which is just a subset)，不是吃饱了撑着么？
|
n****1
发帖数: 1136 | 17 That is not going to happen. Even I would say NO.
不是每个人都喜欢数学的， haskell是试验田， 是长见识的一种途径。 这个就像物理
与工程的关系一样， 你不能指望建筑工人都懂力学吧。
Haskell的社区是有学界支持的， 虽然不流行，但也不会死， 保持research oriented
的心态， 不愁没有新鲜血液加入。 F#没准哪天就挂了。
个F
haskell
【在 n*w 的大作中提到】
: 我举的ide的原因是读到你这段。ide里有intelligence，hint等很多feature让写代码
: 比shell里容易多了。难道你不就是表达这个意思？
: “clojure括号一大堆, 用interactive shell反而没有用编辑器顺手(shell里面 数括号
: 就把人数晕了).”。
: 好吧，我取消对F#的wish。只是纯感叹。
: ocaml比F#早出来快十年，却没F#普及。我宁愿看到有个ML语言普及。难道MS没有出个F
: #，Ocaml就会是今天F#这个普及率？我忍不住又wishful thinking一下，希望haskell
: 在tobie里尽快排进20。
|
n*w
发帖数: 3393 | 18 F#里值得表扬之一有把monad 写成workflow。（当然两种不是100%对等, 比如workflow
允许不纯的side affect的code）。不用理解monad也很容易用。
haskell也许也可以引入一些syntactic suger让一些功能容易读写。
【在 n****1 的大作中提到】
: That is not going to happen. Even I would say NO.
: 不是每个人都喜欢数学的， haskell是试验田， 是长见识的一种途径。 这个就像物理
: 与工程的关系一样， 你不能指望建筑工人都懂力学吧。
: Haskell的社区是有学界支持的， 虽然不流行，但也不会死， 保持research oriented
: 的心态， 不愁没有新鲜血液加入。 F#没准哪天就挂了。
:
: 个F
: haskell
|
n****1
发帖数: 1136 | 19 Monad在haskell里面不那么重要， 而typeclass才是adhoc polymorphism的精髓。
Monad只是众多typeclass中的一个罢了。 你要高兴， 可以实现自己的workflow.
workflow
【在 n*w 的大作中提到】
: F#里值得表扬之一有把monad 写成workflow。（当然两种不是100%对等, 比如workflow
: 允许不纯的side affect的code）。不用理解monad也很容易用。
: haskell也许也可以引入一些syntactic suger让一些功能容易读写。
|
c*******9
发帖数: 9032 | 20 haskell用arrow可以实现workflow更灵活，当然写arrow库也许不那么容易。
workflow
【在 n*w 的大作中提到】
: F#里值得表扬之一有把monad 写成workflow。（当然两种不是100%对等, 比如workflow
: 允许不纯的side affect的code）。不用理解monad也很容易用。
: haskell也许也可以引入一些syntactic suger让一些功能容易读写。
|
|
|
m*******l
发帖数: 12782 | 21 win8是内核很不错的,差在GUI
速度,稳定性比W7强不少
【在 w**z 的大作中提到】
: 刚买的电脑，装的win8, 其实还不错啦。
|
n****1
发帖数: 1136 | 22 你这话说得， 让linux/bsd情何以堪?
【在 m*******l 的大作中提到】
: win8是内核很不错的,差在GUI
: 速度,稳定性比W7强不少
|
c******o
发帖数: 1277 | 23 我刚用scala写了一个小的。其实不难，难得是应用。 scalaz 里也有了。
【在 c*******9 的大作中提到】
: haskell用arrow可以实现workflow更灵活，当然写arrow库也许不那么容易。
:
: workflow
|
n*w
发帖数: 3393 | 24 哪个网站能找到scala workflow的例子？
【在 c******o 的大作中提到】
: 我刚用scala写了一个小的。其实不难，难得是应用。 scalaz 里也有了。
|
