A*******t
发帖数: 443 | 1 这是一家做trading的公司，他家整个平台都是用ocaml写的
另外瑞士信贷的分析平台大量运用了haskell |
|
E*****m
发帖数: 25615 | 2
同感！
當初搞 ML 的英國人以及 Bell Lab 好像都散了， 變成
法國人在主導 ML， 很可能就是 Ocaml 搞不過 Haskell
的原因。
若不是 Jan Street, 恐怕沒人會記得這族語言。 可惜了！ |
|
|
|
|
|
A**u
发帖数: 2458 | 7 是 Haskell?
还是 Ocaml?
还是 New Jersy standard ML? |
|
|
c*******y
发帖数: 1630 | 9 那这么说，用的trading firm/bank就多了
不过他家特别喜欢ocaml |
|
|
|
|
r*******n
发帖数: 3020 | 13 我前年比较闲，把几大functional 语言看了一下，纸上的功夫，没有做过项目.
我喜欢阅读技术书籍，比如经典的joy of clojure, clojure programming,
learn you a haskell for great good, ocaml doc, practical common lisp.
还有paper why functional这些都看了，但谈不上研究，就想知道点为什么。 |
|
m******t
发帖数: 635 | 14 Haskell这样的学术型FP不实用，不能代表所有的FP语言。早的F#和Ocaml，近的Scala
和Clojure都很有希望。
OO和FP不是一定就互斥的，c#加了很多的FP功能，Java8也会跟着。大家不是吃饱了撑
的这么做的，对吧？ |
|
mw
发帖数: 525 | 15 现在就是cpp啊，我写cpp好些年了，不过我还是非常不看好cpp：莫名其妙的复杂，c++
11和boost把原来已经够复杂的cpp变得更tmd复杂，这样的语言只有被淘汰的份：技术
发展的趋势应该是越来越简单，而不是the other way round
趁现在脑子还够用，想学点新的东西。看了一下haskell和ocaml，发现还是java这条线
上的比较有前途。所以现在在scala和clojure之间犹豫. |
|
p*****2
发帖数: 21240 | 16 Exposure to functional programming languages (e.g. Haskell, Clojure, OCaml),
because it makes you a better programmer.
这个说的很清楚。 |
|
n****1
发帖数: 1136 | 17 Nonsense! JS is using Ocaml at the institutional level, but no bank(or no
company in general) will enforce a particular language at individual level.
Bankers are utilitarian only care about money and productivity, they like
you when you make big money, not when you write beautiful code.
Traders write their own strategies in their own favorite languages, and
treat the code as secret. These programs are usually one person project, and
only run on its owner's machine. Any communication/action will ... 阅读全帖 |
|
|
d*******r
发帖数: 3299 | 19 我看他工作之余是在搞琢磨自己的language的，大家回头看看他设计的东西如何吧
Typed Racket 是一种类似 typed lisp/scheme 的东西
Yin Wang @ Google Plus
Shared publicly - Dec 1, 2013
#racket
Spent hours trying to get my first interpreter for the Y programming
language to pass Typed Racket's type checker and still have 8 errors can't
be resolved because of the rough edges of the type system.
In general Typed Racket is very powerful and helpful. It caught quite some
actual errors, and is much more powerful and easier to work with than the
typ... 阅读全帖 |
|
n*w
发帖数: 3393 | 20 又泼辣了。骂人没人比得过你。
和.net有什么关系？又开始发散了？即使是明日黄花话，我的side projects还有很喜
欢的mean stack/ocaml/clojure...选择。没什么。
吗？ |
|
r*g
发帖数: 3159 | 21 F#已经开源，最新的发行独立于VS. 而且 Xamarin支持F#.
F#和ocaml比，对并行和多核的支持更好。 |
|
d*******r
发帖数: 3299 | 22 http://www.yinwang.org/blog-cn/2014/04/18/golang/
一家之言，贴个链接，就不转载了
他们 Sourcegraph 貌似后端在用 Go
看他一直在拿 Go 跟 C/C++, Java 比较
内存管理
... ...
Go 的垃圾回收器是一个非常原始的 mark-and-sweep，这比起像 Java，OCaml 和 Chez
Scheme 之类的语言实现，其实还处于起步阶段。
当然如果真的遇到 GC 性能问题，通过大量的 tuning，你可以部分的改善内存回收的
效率。我也看到有人写过一些文章介绍他们如何做这些事情，然而这种文章的存在说明
了 Go 的垃圾回收还非常不成熟。GC 这种事情我觉得大部分时候不应该是让程序员来
操心的，否则就是去了 GC 比起手动管理的很多优势。所以 Go 代码想要在实时性比较
高的场合，还是有很长的路要走的。
由于缺乏先进的 GC，却又带有高级的抽象，所以 Go 其实没法取代 C 和 C++ 来构造
底层系统。Go 语言的定位对我来说越来越模糊。
结论
... ...
Go 由于没有明显的优势，却又有各种其它语... 阅读全帖 |
|
b***e
发帖数: 1419 | 23 What the fuck are you talking about? JS实现的是标准的lexical scope，也称
static scope:
http://en.wikipedia.org/wiki/Scope_(computer_science)
所有的functional language的scope implementation，凡从lisp那过继来的，都是这
种标准的lexical scope。例如Lisp/Clojure, OCaml, Haskell, etc。C/C++和Java回
避了scope的问题。Pascal是static scope，但是是阉割过的，没有对functional
closure的全支持。初版的ruby才是真正的对scope没想好，closure的实现有问题。
不懂得话可以问，甭他妈胡说八道。 |
|
e*******o
发帖数: 4654 | 24 我最近看了下ocaml 才感觉 scala 真是无法无天，应该是最难的语言了。martin 的野
心真是不小。 |
|
|
G***l
发帖数: 355 | 26 scala语法是设计的挺丑
同样的是FP，ML家族的ocaml和F#就很清爽。Lisp系列的就是括号多点，其他方面也很
简洁明了。 |
|
f*******n
发帖数: 12623 | 27 Standard ML. I know the language. It's not used much anymore. OCaml is very
similar to it and is used more than SML. I don't know what else I can say. |
|
n*w
发帖数: 3393 | 28 把type inference用到极致的是ml系列的ocaml，f#吧。
我也有过用了f#就不想用c#的情况，更不用提java了。 |
|
p*****2
发帖数: 21240 | 29 In my experience, Scala's is much more complicated. It has to be, in order
to interoperate with Java, include object-oriented programming, and
therefore use a lot of subtyping and attempt to impose principle on it.
Scala seems to be a bazaar in which concepts from Java and Haskell collide,
and there's even some Erlang thrown in (the actor model). Type-wise, these
sub-languages don't always get along well. For what it must do, Scala does a
good job. The problem is that its mandatory first-class s... 阅读全帖 |
|
b*******s
发帖数: 5216 | 30 small mkt portion doesnt necessarily mean useless or bad paid.
for example, OCAML. I guess few people here heard of it. But if you are an
expert of it, there is a trading firm will pay you 3-4 million HKD a year
for such a skill.
if u havent stepped into the sections, you never know
|
|
k**********g
发帖数: 989 | 31
去看看各大编程擂台网站就知道了， C / C++ 运行时限两秒， Ocaml 运行时限三秒，
Java Mono (C#) 五秒，其他语言十至一百秒不等。
但再牛B的人类都不能阻止商学院的Visual basic，Excel |
|
c******o
发帖数: 1277 | 32 本版最近有很多关于FP的讨论， 我说说我的认识，抛砖引玉。
我其实是c -> c++ -> java线上来的，工作以后又学了ruby/php.javascript/python/
bash.
除了在学校里玩了一点点OCaml 以外，所有的FP都是在工作里学的，也是用在工作上的
，没啥学术的背景。
我对FP的知识主要启蒙于Functional Programming in Scala by Paul Chiusano & Rú
nar Bjarnason
http://www.manning.com/bjarnason/
Paul Chiusano & Rúnar Bjarnason是scalaz的主要作者之一，他们是同事，在S&P
Capital IQ Boston 工作，他们工作的production code确实是用scala FP 方式写的。
好了，那么什么事FP呢？很多复杂而矛盾的定义，我接受了Rúnar Bjarnason的定义，
简单，清晰，无歧义：
FP is programming with pure functions.
那么问题来了：
1. what is pur... 阅读全帖 |
|
a*****e
发帖数: 1700 | 33 你这个理解有点片面。
首先，go(USACity la)和go(ChineseCity gz) 这种，至少在 Haskell 和 Scala 里完
全不是问题，因为有 typeclass 可以做 type-based dispatch，这叫做 ad-hoc
polymorphism。我相信你的原意是说 parametric polymorphism 和 OOP 有冲突，但这
不是 FP 和 OOP 有冲突的原因。而且 OOP 里面也可以毫无偏差地实现 parametric
polymorphism，所以针对 parametric polymorphism，FP 和 OOP 没有冲突。
FP 和 OOP 真正不同的地方在于：
在 FP 里面，type is closed，function is extensible (to handling more types).
在 OOP 里面，function is closed，type is extensible (to have more functions
)。
也就是说 OOP 是 extend objects，而 FP 是 exten... 阅读全帖 |
|
|
n*w
发帖数: 3393 | 35 f#基于ocaml来做估计有这些考虑。 scala因为spark普及了很多。程序还是要有killer
app或应用才能更普及。比如很多人不太喜欢的object c因为iPhone在各个popularity
排名靠前。 |
|
n******7
发帖数: 12463 | 36 你说IP接近计算机实现，所以可以做到搞性能
如果我想用FP，又想兼顾性能，现实吗？
似乎Rust Haskell Ocaml 性能都不错 |
|
e*******o
发帖数: 4654 | 37 运行速度来讲 C/C++ 是基准。
理论上rust 可以跟C/C++ 一样快
其余的都慢
函数式语言最快的貌似是OCaml |
|
j*****v
发帖数: 7717 | 38 scalar的確是坨屎
不過把Ocaml port到.net，這也不能說微軟設計牛逼吧 |
|
|
g****t
发帖数: 31659 | 40 我不找工作，也不和人合作编程序。所以只关心
F#有如下几个优点:
运行速度快
开发速度快,强类型但是类型推断不错，表达能力强
Tool chain完备
F#到现在还活的挺好
挺惊讶的
唯一的问题就是MSFT可能会很流氓，
几个语言互相绑定兼容，tool chain锁定什么的。
其实ocaml语言很好。但是标准库和tool chain太差了。
Haskell也有类似的一些问题。
: 大家用微软主要是因为上手快好找人好管理啊，这些不是f#强项吧
|
|
g****t
发帖数: 31659 | 41 F# ---- CLR
Clojure ---- JVM
F# was from the Ocaml.
Clojure was from the Lisp.
Both Clojure and F# are practical excellent tools. |
|
n******7
发帖数: 12463 | 42 作为野鸡码工
最喜欢在纸面比较各种语言
Ocaml作为最快的FP（同时又非常expressive）
Clojure作为最快的脚本（之一）
都看过两眼 |
|
e*******o
发帖数: 4654 | 43 ocaml 可以做到这三点。当然比java 麻烦。
数据分析的话，没有啥复杂的逻辑，我觉得Python够了。
咱俩差不多，可能语言基本上都玩过。 |
|
n******7
发帖数: 12463 | 44 多线程也是问题
之前纸上研究了一下
据说是10年前的时候
Ocaml开发者认为cluster计算是未来方向
没想到多核这么快就铺开了 |
|
n******7
发帖数: 12463 | 45 有的，写的速度按LOC来衡量就好
我就是这样发现ocaml的
我得找找那个图 |
|
n******7
发帖数: 12463 | 46 基本同意
我前两年跟guvest状态差不多
想有个写的快也跑的快点语言
什么scale clojure rust ocaml go 看了一圈
最后用了java，因为简单。。。
其中的蛋疼就不说了
有时候还要自己翻译一些代码，因为相关论文只给了R／Matlab的实现
我现在我主力R／python了
java只用来方法定型后作应用
今年研究了一些R的性能优化，并行，其实可以提高到地方很多
有些瓶颈的地方写点C就好
C++我还是不去折腾了 |
|
|
|
发帖数: 1 | 49 Jane street uses ocaml stack for years. |
|
r*g
发帖数: 3159 | 50 是在aqr做得。除了aqr,文艺复兴在维护root 的矩阵库，jane street 也在维护ocaml
的开源库。
wiki
Before leaving AQR he was able to convince management to allow him to open
source the library.
Another AQR employee, Chang She, joined the effort in 2012 as the second
major contributor to the library.
：他有这个魄力，肯定有背后高人指点，并有无数美国白人粉丝为其造势，至少有出版
社联系他支持他写书。
： |
|
