由买买提看人间百态

boards

本页内容为未名空间相应帖子的节选和存档,一周内的贴子最多显示50字,超过一周显示500字 访问原贴
Programming版 - FP内部比较: Haskell其实可以当脚本语言来用
相关主题
我老给你们指条明路吧数学和编程
总觉得python 用缩进定义逻辑block 这种思想很诡异Any one knows 'Q Programming Language'?
fp就是Declarative Programming请问有哪位师傅知道haskell语言的?
大家有没有觉得Scala不如Haskell美?ocaml的一个奇怪的设计
哪种脚本语言适合做代码的文本分析?有没有人对curring有研究
接触scala两年了C++ for Java programmer?
现在还在“学”脚本语言的,都弱爆了板上的高人们能给科普比较functional programming language么
vert.x就是脚本语言们的企业版J 语言 --最短的语言?
相关话题的讨论汇总
话题: haskell话题: ocaml话题: shell话题: inference
进入Programming版参与讨论
1 (共1页)
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
2
有纯脚本,干嘛用Haskell呀?
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, 还是收购来的技术。
相关主题
接触scala两年了数学和编程
现在还在“学”脚本语言的,都弱爆了Any one knows 'Q Programming Language'?
vert.x就是脚本语言们的企业版请问有哪位师傅知道haskell语言的?
进入Programming版参与讨论
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让一些功能容易读写。

相关主题
ocaml的一个奇怪的设计板上的高人们能给科普比较functional programming language么
有没有人对curring有研究J 语言 --最短的语言?
C++ for Java programmer?Haskell很难学。。
进入Programming版参与讨论
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 里也有了。
1 (共1页)
进入Programming版参与讨论
相关主题
J 语言 --最短的语言?哪种脚本语言适合做代码的文本分析?
Haskell很难学。。接触scala两年了
对scala很失望 (转载)现在还在“学”脚本语言的,都弱爆了
抛砖引玉,来谈谈functional programmingvert.x就是脚本语言们的企业版
我老给你们指条明路吧数学和编程
总觉得python 用缩进定义逻辑block 这种思想很诡异Any one knows 'Q Programming Language'?
fp就是Declarative Programming请问有哪位师傅知道haskell语言的?
大家有没有觉得Scala不如Haskell美?ocaml的一个奇怪的设计
相关话题的讨论汇总
话题: haskell话题: ocaml话题: shell话题: inference