e*******o
发帖数: 4654 | 1 这些tool 开始用的是ocaml，可能后来作者觉得ocaml的语法太老，就换了个马甲。
ocaml 到JS 早都成熟了 |
|
c*******v
发帖数: 2599 | 2 没看懂为啥要把ocaml编译成js
不过手册说已经在hack,flow,infer这些tool用了
: 这个是给ocaml 换了个马甲而已
|
|
d***a
发帖数: 316 | 3 【 以下文字转载自 Programming 讨论区 】
发信人: dunfa (蹲着发财), 信区: Programming
标 题: 请推荐一本 OCaml 的入门教材。
发信站: BBS 未名空间站 (Wed Jun 13 23:58:19 2012, 美东)
初学 functional programming，多谢。 |
|
|
r*********r
发帖数: 3195 | 5 做 type inference 的人肯定不待见任何的 overloading.
不过语言要实用, 没有 overloading 很不方便.
ocaml 原来的设计组已经解散了吧. 反正没看到有什么新东西. |
|
|
|
m***k
发帖数: 946 | 8 找工作总结
来源： 崔添翼的日志
首先说明一下，我本来是浙大计算机2008级的学生，后来因为无法按时毕业延期了一年
，于是就变成了2013年毕业，所以今年才开始找工作。
然后剧透一下，我最终选择的未来雇主是 Jane Street Capital，职位是 Assistant
Quantitative Researcher，工作地点在香港。
以下开始正文。
暑假的时候都在搞 ACM 集训，觉得找工作的事还早。开学了以后听说各路大牛早已面
试了各种公司拿到了各种 offer 就开始有些心慌。虽然我自己是一心想去国外工作的
，但是我家里不怎么同意，所以一开始没特别考虑出国工作的事，想着等那些企业来校
招的时候投投简历得了。然而自己还是不愿对出国工作死心，于是就经常在 GitHub
Jobs 和 StackOverflow Careers 这两个网站上瞎逛。
出于自己的爱好，我一直以来都有一个小小梦想，找到一个能用 Haskell 或类似语言
的工作。不过我知道的相关的工作要么是 Standard Chartered 里面那种天天西装革履
的典型金融业环境，要么是 Galois 或者 FP C... 阅读全帖 |
|
w********s
发帖数: 1570 | 9 zz
首先说明一下，我本来是浙大计算机2008级的学生，后来因为无法按时毕业延期了一
年，于是就变成了2013年毕业，所以今年才开始找工作。
然后剧透一下，我最终选择的未来雇主是 Jane Street Capital，职位是 Assistant
Quantitative Researcher，工作地点在香港。
以下开始正文。
暑假的时候都在搞 ACM 集训，觉得找工作的事还早。开学了以后听说各路大牛早已面
试了各种公司拿到了各种 offer 就开始有些心慌。虽然我自己是一心想去国外工作的
，但是我家里不怎么同意，所以一开始没特别考虑出国工作的事，想着等那些企业来校
招的时候投投简历得了。然而自己还是不愿对出国工作死心，于是就经常在 GitHub
Jobs 和 StackOverflow Careers 这两个网站上瞎逛。
出于自己的爱好，我一直以来都有一个小小梦想，找到一个能用 Haskell 或类似语言
的工作。不过我知道的相关的工作要么是 Standard Chartered 里面那种天天西装革履
的典型金融业环境，要么是 Galois 或者 FP Complete 那种对已有的... 阅读全帖 |
|
j******y
发帖数: 2578 | 10 【 以下文字转载自 JobHunting 讨论区 】
发信人: meask (meask), 信区: JobHunting
标 题: Re: 背包九讲去Jane Street HK啦
发信站: BBS 未名空间站 (Mon Nov 26 13:24:13 2012, 美东)
找工作总结
来源： 崔添翼的日志
首先说明一下，我本来是浙大计算机2008级的学生，后来因为无法按时毕业延期了一年
，于是就变成了2013年毕业，所以今年才开始找工作。
然后剧透一下，我最终选择的未来雇主是 Jane Street Capital，职位是 Assistant
Quantitative Researcher，工作地点在香港。
以下开始正文。
暑假的时候都在搞 ACM 集训，觉得找工作的事还早。开学了以后听说各路大牛早已面
试了各种公司拿到了各种 offer 就开始有些心慌。虽然我自己是一心想去国外工作的
，但是我家里不怎么同意，所以一开始没特别考虑出国工作的事，想着等那些企业来校
招的时候投投简历得了。然而自己还是不愿对出国工作死心，于是就经常在 GitHub
Jobs 和 StackOverflo... 阅读全帖 |
|
w********s
发帖数: 1570 | 11 zz
首先说明一下，我本来是浙大计算机2008级的学生，后来因为无法按时毕业延期了一年
，于是就变成了2013年毕业，所以今年才开始找工作。
然后剧透一下，我最终选择的未来雇主是 Jane Street Capital，职位是 Assistant
Quantitative Researcher，工作地点在香港。
以下开始正文。
暑假的时候都在搞 ACM 集训，觉得找工作的事还早。开学了以后听说各路大牛早已面
试了各种公司拿到了各种 offer 就开始有些心慌。虽然我自己是一心想去国外工作的
，但是我家里不怎么同意，所以一开始没特别考虑出国工作的事，想着等那些企业来校
招的时候投投简历得了。然而自己还是不愿对出国工作死心，于是就经常在 GitHub
Jobs 和 StackOverflow Careers 这两个网站上瞎逛。
出于自己的爱好，我一直以来都有一个小小梦想，找到一个能用 Haskell 或类似语言
的工作。不过我知道的相关的工作要么是 Standard Chartered 里面那种天天西装革履
的典型金融业环境，要么是 Galois 或者 FP Complete 那种对已有的... 阅读全帖 |
|
mw
发帖数: 525 | 12 一说到fp就有人说道ocaml，一说到ocaml就会说道janestreet。我不在janestreet工作
，不过也凑热闹说说一个比较cynical的观点
janestreet用ocaml绝对不仅仅是由技术层面决定的，跟janestreet平级的几个中型
firm，都不是用fp，只有js是个例外，实际上在整个trading industry也就是只有js
is using fp across the shop
说到底这还是为了限制人员流通，是个business decision。
prop shop最怕就是赚钱的交易员带着交易策略跳槽。js的的business model就是：从
本科生里面招特别牛的孩子，上来就全套ocaml，别的基本一概不用。5年之后这些孩子
们到了27 28 的年纪，有了业界的经验，也有了自己的赚钱的东西。要是在别的firm，
就是准备跳槽的年纪了，但是在js，由于你已经把自己绑在一个复杂的ocaml平台上，
而在整个行业里都没有一个类似的平台（实际上是用同样语言的都没有），你如果跳槽
，迁移成本会非常高。所以这就极大的降低了公司的turnover。
所以说到底... 阅读全帖 |
|
L******g
发帖数: 1371 | 13 【 以下文字转载自 Programming 讨论区 】
发信人: mw (mw), 信区: Programming
标 题: 也说说Janestreet和fp
发信站: BBS 未名空间站 (Thu Dec 19 16:42:46 2013, 美东)
一说到fp就有人说道ocaml，一说到ocaml就会说道janestreet。我不在janestreet工作
，不过也凑热闹说说一个比较cynical的观点
janestreet用ocaml绝对不仅仅是由技术层面决定的，跟janestreet平级的几个中型
firm，都不是用fp，只有js是个例外，实际上在整个trading industry也就是只有js
is using fp across the shop
说到底这还是为了限制人员流通，是个business decision。
prop shop最怕就是赚钱的交易员带着交易策略跳槽。js的的business model就是：从
本科生里面招特别牛的孩子，上来就全套ocaml，别的基本一概不用。5年之后这些孩子
们到了27 28 的年纪，有了业界的经验，也有了自己的赚钱的东西。要是在... 阅读全帖 |
|
n****1
发帖数: 1136 | 14 既然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 | 15 你该提Ocaml而不是F#, 后者不过是微软的copycat+marketing hype, 没有任何超越
Ocaml的地方。 Ocaml确实还可以
现在有的远见的都是见了.Net就躲的，因为丫玩的是vendor locking. |
|
n*w
发帖数: 3393 | 16 ocaml的ide可能做不到之前提到select/eval.
F#本身是open source的，有非ms的实现，可以运行在不同的平台，有人甚至认为F#的
未来取决于非MS的实现。
F#在金融公司也用的不少。在tobie里在前20里，可能是排在最前的functional
programming language了吧。
ocaml有些高级的功能可惜没有在f#里实现。f#要是是ocaml的一个超集就好了。 |
|
g****t
发帖数: 31659 | 17 我literate review下来。
Ocaml和F#应该是速度都差不多。haskell也很快。
这三家我觉得速度不会差超过20%.
所以F#优势明显。Ocaml,Haskell 坑还是略多了点。
F#就是linux支持被诟病做多。
: 作为野鸡码工
: 最喜欢在纸面比较各种语言
: Ocaml作为最快的FP（同时又非常expressive）
: Clojure作为最快的脚本（之一）
: 都看过两眼
|
|
|
r***u
发帖数: 241 | 19 现在用ocaml、scala的也有一些，但总的来说还是不好找。
用Haskell的基本上是凤毛麟角。
如果有人找ocaml的话（jane street, mylife），我有些面试经验可以分享。 |
|
i****1
发帖数: 445 | 20 今天电面，jane street的一个developer面的，听声音比较年轻，不是hr，面试的是技
术问题。
一上来就让我写代码，我准备的自我介绍啥的完全作废，此时就比较乱了。刚开始问我
懂不懂什么是functional language啥的，说了一通，我没懂。然后我问C算不算
functional luguange，他说不是，囧了。然后他说用C和我交流，但是他貌似对C不熟
悉，函数声明不会，我给他纠正了后，他说谢谢。
接着他改成OCaml语言了，我完全不懂，他又解释了一通，我又不懂，之间我不停的hm,
a,yeah ....，装懂了。他写了一个函数申明，让我把函数内容写出来，其实内容不难
，其实就是求和，难的是那个OCaml，写着写着我既然忘了，改用成C了，他说错了，还
好我及时改过来。
接着我说完成了，他就看了一下，说pretty good，就说，this is what I want to
ask you today. do you have any questions to ask me?
有了前一次的教训，我就放慢语速问了三个问题。一个技术细节；问题哪个地方工作；
然后问题j... 阅读全帖 |
|
l*********d
发帖数: 78 | 21 刚刚面的，发帖来攒人品。
Jane Street 开发用的是 OCaml，但是前两轮面试好像可以随便使用你最擅长的语言。
最后一轮会要求用 OCaml。
这一轮我用 java 答的。
一上来就直接写 Code。题目是一个 List of List，问怎么求最小的 List element 的
长度。要求给复杂度。
假设是你无法知道 List 的长度，而必须要用一个 Iterator 来 count。
然后问有没有办法提高算法效率，当然应该还是在 linear 的范围内。
半个小时就结束了。 |
|
p********Z
发帖数: 1 | 22 OCaml是函数式编程语言，这就是一个非常大的限制了。能叫得上名字且用函数式做
serious product的大技术公司，可能只有F（Erlang，Haskell）和T（Scala）了吧，
OCaml这个语言除了JS似乎就没听过哪些公司用了……小型技术公司就几乎更没有相关
职位。
ZJU的那位高中就搞竞赛，圈内很有名，背包九讲就是他写的。当年他申JS纯粹是为了
找一个可以以写函数式为生的职位。在他申请之前已经有挺丰富的Haskell经验了，嗯
…… |
|
a********5
发帖数: 1631 | 23 膜拜大牛 什么职位呀
拿到他家面试的都很强了。完全和班上讨论的公司不是一个级别的。。
据说他家面码农，至少需要你精通一种FP，因为他们自己是OCAML..然后面试有一轮要
求你用OCAML写代码 |
|
R********n
发帖数: 519 | 24 是的，OCAML使用的一个很大原因就是降低员工流动性。这个和GS内部那个xxx语言有类
似道理。几百人的公司，流动小，所以可以慢慢挑选
OCaml |
|
L****r
发帖数: 33 | 25 F# is essentially ocaml on .net, and ocaml comes from ML family |
|
s*****g
发帖数: 5159 | 26 In my learning process of Ocaml, I found it could prevent potential bugs, e.
g., mixed up array indices and array values, and doing it much better than a
compiler like g++.
Meanwhile, it develops faster in some application. Writing a qsort in ocaml
is much faster than doing it in C++. |
|
G***l
发帖数: 355 | 27 Functional Programming这几年来越来越热。 最近几年FP开始流行。众多纯FP或者FP
为主的语言出现，比如haskell, clojure, ocaml, f#等等。 很多非FP的语言都不约而
同的加入一定的FP功能，C#,C++,Java(将要）。很多一定程度支持FP的比如Python，
Ruby之类也很流行。
FP好用吗？答案是肯定的。Emacs和它所有的插件都是lisp写的，Emacs多牛逼这里就不
多说了。工业界的例子，华尔街著名的高频交易公司Jane Stree Capital的系统就是
OCaml写的，这种系统不管是的复杂性，可扩展性还是，可靠性和性能要求都是很高的。
FP的优点在哪里？wiki的词条上面列了一些fp的特性和优点，我就不赘述了。下面说一
些我的个人体验。水平有限，思维比较杂乱，大家见谅。
写程序，不管是过程式,OO还是fp，说到底是还是数据和算法。过程式样的思维，你会
想到一个input，然后这个input怎么转化，操作，最后变成output。OO能让你灵活的拆
分开数据和算法并且模块化。但你只要用OO建模过，你就会发现一开始你想的就是有... 阅读全帖 |
|
G***l
发帖数: 355 | 28 Functional Programming这几年来越来越热。 最近几年FP开始流行。众多纯FP或者FP
为主的语言出现，比如haskell, clojure, ocaml, f#等等。 很多非FP的语言都不约而
同的加入一定的FP功能，C#,C++,Java(将要）。很多一定程度支持FP的比如Python，
Ruby之类也很流行。
FP好用吗？答案是肯定的。Emacs和它所有的插件都是lisp写的，Emacs多牛逼这里就不
多说了。工业界的例子，华尔街著名的高频交易公司Jane Stree Capital的系统就是
OCaml写的，这种系统不管是的复杂性，可扩展性还是，可靠性和性能要求都是很高的。
FP的优点在哪里？wiki的词条上面列了一些fp的特性和优点，我就不赘述了。下面说一
些我的个人体验。水平有限，思维比较杂乱，大家见谅。
写程序，不管是过程式,OO还是fp，说到底是还是数据和算法。过程式样的思维，你会
想到一个input，然后这个input怎么转化，操作，最后变成output。OO能让你灵活的拆
分开数据和算法并且模块化。但你只要用OO建模过，你就会发现一开始你想的就是有... 阅读全帖 |
|
A*******t
发帖数: 443 | 29 其实我觉得初学fp，OCaml也还挺值得推荐的。
可惜OCaml的社区比Haskell的社区差 |
|
f********o
发帖数: 13 | 30 都不好 不如ocaml
clojure 出错信息太挫了
scala 编译太慢 ocaml编译一个编译器的时间 scalac只能编译一个hello world |
|
n*w
发帖数: 3393 | 31 我举的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。 |
|
e********2
发帖数: 495 | 32 我学过ocaml，ocaml和scala比哪个更难？ |
|
a*****e
发帖数: 1700 | 33 我在另外的贴子举了个例子 ocaml 写的 unikernel MirageOS，你可以看看。
SML 本身因为 compiler 和 community 的问题，一直只是作为 teaching language 的
存在。反而是 OCaml 作为 ML 的变种，发展得不错，用得比较多，而且用得多的都是
它 ML 那一面，不是 OO 那一面。 |
|
e*******o
发帖数: 4654 | 34 ocaml 可以
搜搜 real world ocaml |
|
n******7
发帖数: 12463 | 35 F#就是MS版的Ocaml
haskell太拧巴了
我一直想找一种写得快（expressive),跑得快，又学的快的语言
可惜逻辑上，这三者最多只可能做好两者
所以就是取舍
以前看过一个很多语言的benchmark
Ocaml是综合写和运行时间最佳的
学习难度似乎也尚可（学过几天...）
就是库太少
这对于搞数据分析的是致命伤
目前来看，只有两个现实方案
1. 脚本+C/C++，比如python流或者R流
2. JVM平台包打一切，比如scala |
|
e*******o
发帖数: 4654 | 36 ocaml 其实最近几年发展很不错，ocaml 学习起来比haskell 容易。
非Windows支持的话，看不到F# 的优势。
现在这个时代，语言，要靠人来下功夫推。大家都差不多，就看谁的社区好，谁对新手
友好。
王寅老师的神器，都开源了，大牛看看如何？
https://github.com/cisco/ChezScheme |
|
g****t
发帖数: 31659 | 37 老王去Cisco 了？硬件公司做软件，混日子王道之一啊。Cisco 是搞出租房的好公司。
这个看上去像不错的项目。
: ocaml 其实最近几年发展很不错，ocaml 学习起来比haskell 容易。
: 非Windows支持的话，看不到F# 的优势。
: 现在这个时代，语言，要靠人来下功夫推。大家都差不多，就看谁的社区好，谁
对新手
: 友好。
: 王寅老师的神器，都开源了，大牛看看如何？
: https://github.com/cisco/ChezScheme
|
|
g****t
发帖数: 31659 | 38 看我前面的链接。ocaml不支持native 64位。
Python速度不行。
语言我觉得是最爽的。
: ocaml 可以做到这三点。当然比java 麻烦。
: 数据分析的话，没有啥复杂的逻辑，我觉得Python够了。
: 咱俩差不多，可能语言基本上都玩过。
|
|
n******7
发帖数: 12463 | 39 我琢磨了很久，这个在逻辑上是不可能的
为了实现写的快还跑的快，设计上必然会有代价
比如F#为了expressive，据说各种函数要记忆的很多
不知道ocaml是不是也是这样
这个类似围棋背定式，不用实时处理了
这就是学习的负担
另外为了写的方便，搞类型推断，我记得ocaml里面的数据只有double类型
不支持多线程也有性能考虑 |
|
g****t
发帖数: 31659 | 40 你可以画一个xy的图，
写的速度范围我Vs 跑的速度范围
每个语言放一个方块
其实每个方块都有可能有合适的应用
Scala我觉得比不上f#
因为速度慢一倍到50%
: 我琢磨了很久，这个在逻辑上是不可能的
: 为了实现写的快还跑的快，设计上必然会有代价
: 比如F#为了expressive，据说各种函数要记忆的很多
: 不知道ocaml是不是也是这样
: 这个类似围棋背定式，不用实时处理了
: 这就是学习的负担
: 另外为了写的方便，搞类型推断，我记得ocaml里面的数据只有double类型
: 不支持多线程也有性能考虑
|
|
g****t
发帖数: 31659 | 41 好几位好像忽略了编译型FP
F#,Haskell,Ocaml很快
以下是前面一个链接有人说的：
Our modern commercial packages for numerical computing are written in F# and
it beats Fortran quite happily. FFTW provides the FFT routines in MATLAB
and is written in OCaml and beats everything else quite happily. – Jon
Harrop
: python的卖点是易学，跟FP不在一个生态位
: python随便个阿猫阿狗学几个小时就能开始写code了，哪个FP能做到？
: 另外用python主要是用库，很多是C／C 写的
: 现在主流的FP，比如scala／clojure／F#都跑在虚拟机上，还不见得比python调
库快
: 这些FP语言跟java/C#/C/Cpp比还是性能差些
: 如果编译器经过AI优化后FP性能没有差距是... 阅读全帖 |
|
e*******o
发帖数: 4654 | 42 vscode 上面 ocaml 也很爽，当然windows上肯定不如f# 爽。
ocaml 有个merlin， reason 那帮人也搞了不少东东，还有个国人搞得bucklescript，
文件对文件compile到js，可以和js 混用，真是厉害。 |
|
c******r
发帖数: 512 | 43 确实是这样，比如简单的 quicksort 吧， 用C写， 50行， OCaml， 5 行。
看看， 我用5分钟， 基本确定 C code 是 O(log(n)). 50 分钟我也不能确定 OCaml
到底是多快。
所以两三个人的队伍，很可能 FP 更厉害， 高效。 20个，不好说。 200个，哪找
200个好手？ |
|
|
w***g
发帖数: 5958 | 45 藏到garbage collector. 纯fp数据结构那篇博士论文是少有的博士论文神作。
：
：看OCaml实现哈希表也要用到mutability: https://github.com/lucasaiu/ocaml/
blob/master/stdlib/hashtbl.ml。能用纯粹的函数式方法实现吗？难道函数式语言把
side |
|
n******7
发帖数: 12463 | 46 ocaml很nb
在代码简洁和运行效率两方面综合起来是最好的
可惜library是个大问题
MS的F#就是基于ocaml的，一片好评
可惜是MS的东西，linux下面基本没人用
scala是目前最流行的FP语言
还能支持java package
GATK就有大量的scala代码
可惜太繁杂，很多屎坑
bioinfo的项目/公司，要么在乎performance上c/c++
要么在乎简单可靠上java
scala有些尴尬
clojure我觉得很好玩，但是目前对工作没用的东西都不想花太多时间
workflow engine我没用过
我们这里做过Pegasus 的培训，我看了一下觉得没必要
实在不喜欢过度设计的系统
这里有个讨论，什么情况下用workflow engine
http://programmers.stackexchange.com/questions/103972/when-to-u
最佳回复是：
When you want to use a shiny but clunky wizard UI to and replace simple code
with something ... 阅读全帖 |
|
l*****y
发帖数: 56 | 47 刚接到Jane street电话面试的通知，说是会assess functional programming
experience, specifically OCaml.
从来没有听过OCaml, 刚搜了一下这个才知道是一种编程语言。
麻烦有经验的朋友讲讲怎么准备吧，先谢谢了 |
|
k*******n
发帖数: 180 | 48 very interesting language, not hard to learn. Actually lots of financial
institutes use similar languages, like erlang and F#. I don't think they
have high expectation on ur OCaml skills, coz if you are a good programmer,
you shall master OCaml in a few days/weeks. Be prepared for the math puzzles
. |
|
l***m
发帖数: 920 | 49 都不常用。但Ocaml前景最好。微软VS 2010已经添加了F#这种语言，从Ocaml改进来的。 |
|
l***m
发帖数: 920 | 50 都不常用。但Ocaml前景最好。微软VS 2010已经添加了F#这种语言，从Ocaml改进来的。 |
|
