T****y
发帖数: 36 | 1 收到邮件说要 assess your functional programming experience, specifically
OCaml,从来没有用过这个语言，请问这个面试是怎样的形式？
要用OCaml写程序么？ |
|
r****i
发帖数: 3 | 2 ocaml 先别担心 这个一般onsite才会考的 之前三轮是brain teaser和概率题。个人
觉得看什么书没用，都面新题的。熟悉基本的分布啊概率怎么写就好了吧。通知四面的
话再狂看ocaml就行了。很少有面前会functional language 的吧，他们自己也知道。 |
|
R********n
发帖数: 3601 | 3 【 以下文字转载自 SanFrancisco 讨论区 】
发信人: xialiujian (夏留健), 信区: SanFrancisco
标 题: 请教一下，45岁俩娃的纯文科大妈能学CS么？
发信站: BBS 未名空间站 (Mon Jan 10 19:54:27 2011, 美东)
刚办妥了离婚手续。原因就不说了。之前一直在家带娃。十多年
没工作了。身份没问题。以前在国内读音乐，GPA非常一般。经
济暂时还行，但总得再开始工作。实在不喜欢读商科。当年前夫
老想我读会计，我们为此不知吵了多少次。我又是introvert，和
人打交道没有问题，但成天和人说话特别累。所以也不想做agent
什么的工作。前夫是硅公+天生geek。年纪一大把了（他大我几乎
一轮），心情好时给我讲业界掌故，牛人传说。说得眉飞色舞了，
还要来上几段代码，两三公式。不知怎么的，我还不讨厌听。相反，
他聊技术时也许是我们关系最融洽的时段。我家务之余，也偷闲学
了一点OCaml（前夫最爱的语言)。当然也没学多深入。当年也是
为了取悦前夫才开始学的。刚开始他挺高兴。后来我问题多了，他
又不耐烦，老骂我笨。我们大吵几次。... 阅读全帖 |
|
发帖数: 1 | 4 学校里programming language。你可以用类似Coq OCaml写一个mini language。
或者用java之类写个compiler之类 |
|
i****x
发帖数: 17565 | 5 http://users.cms.caltech.edu/~mvanier/hacking/rants/cars.html
If programming languages were cars...
Ada is a tank. A butt-ugly tank that never breaks down. People laugh
uncontrollably if you tell them you drive Ada, but really, do you want to be
driving a sports car in a war zone? [from Amit Dubey]
Assembly Language is a bare engine; you have to build the car yourself and
manually supply it with gas while it's running, but if you're careful it
can go like a bat out of hell.
[From "Subterfug"... 阅读全帖 |
|
Y****a
发帖数: 17170 | 6 俺一般用Ocaml， 居然是a very sexy European car。 LOL |
|
M*******8
发帖数: 85 | 7 多谢鼓励， 呵呵
http://en.wikipedia.org/wiki/F_Sharp_(programming_language)
F# (pronounced F Sharp) is a multi-paradigm programming language, targeting
the .NET Framework, that encompasses functional programming as well as
imperative object-oriented programming disciplines. It is a variant of ML
and is largely compatible with the OCaml implementation. F# was initially
developed by Don Syme at Microsoft Research but is now being developed at
Microsoft Developer Division and will be distributed as a full |
|
|
e******x
发帖数: 184 | 9 是software engineer position， 不是trader
当初申他们家是因为在板上看到有人给面经，那些要快速心算的数学题，觉得很好玩就
申了
第一轮面试前一晚上才发现之前看到的都是trader的题，于是就阴差阳错搞上了。。
他们家用Ocaml，是不是都没什么机会用啊
因为这个才没人申他们的SE么
anyway, first time to NY
Excited! |
|
|
t****a
发帖数: 1212 | 11 那个不是传说中某个对冲基金用的语言么。
你知道Ocaml都哪些地方在用么？用FP语言的工作目前还不是很多的样子。 |
|
p*****2
发帖数: 21240 | 12 传说性能跟java差不多，结果发现跟ruby差不多，今天做了两题
第一题，ruby死活过不了，scala将将过
第二题，ruby，scala全部超时2000ms, java 600多ms通过
两道题python都可以通过，第二题用时大约1500ms
可见scala性能跟java相差还是很远的，连python也不如，跟ruby八斤八两，强点有限
。白花一天时间学习了，没什么用武之地。
另外请教以下大牛们，以下语言性能如何，应用广泛吗？
Haskell
Ocaml |
|
h**********y
发帖数: 1293 | 13 一种functional language
ocaml是其分支 |
|
d**e
发帖数: 6098 | 14 归结到底还是数学的东西比较多 (可能也不对，因为我不懂）
我上过的课讲过FP(OCaml)，lambda calculus，还有很多当时不理解现在也不理解也忘
清光的东东。 |
|
k***x
发帖数: 6799 | 15 【 以下文字转载自 Automobile 讨论区 】
发信人: icefox (icefox), 信区: Automobile
标 题: 如果编程语言是车的话
发信站: BBS 未名空间站 (Tue Feb 5 15:19:22 2013, 美东)
http://users.cms.caltech.edu/~mvanier/hacking/rants/cars.html
If programming languages were cars...
Ada is a tank. A butt-ugly tank that never breaks down. People laugh
uncontrollably if you tell them you drive Ada, but really, do you want to be
driving a sports car in a war zone? [from Amit Dubey]
Assembly Language is a bare engine; you have to build the car yoursel... 阅读全帖 |
|
|
D*********e
发帖数: 646 | 17 execution还是research还是整个system都用OCaml? |
|
|
l*********d
发帖数: 78 | 19 简历里面我写了自己熟悉几种 functional programming language（不过没有OCaml）
。可能这也是他们愿意面我的原因把。 |
|
n*****u
发帖数: 465 | 20 忍不住看了眼主页, 丫解决了西加加爪蛙之争．
•Programming should be done in Python by default, while OCaml/Haskell
is also encouraged (each student should be fluent in least one functional
language). But C++, Perl, or Java is strictly forbidden because we aim for
elegance and readability rather than quick-and-dirtiness or verbosity. |
|
n*****u
发帖数: 465 | 21 忍不住看了眼主页, 丫解决了西加加爪蛙之争．
•Programming should be done in Python by default, while OCaml/Haskell
is also encouraged (each student should be fluent in least one functional
language). But C++, Perl, or Java is strictly forbidden because we aim for
elegance and readability rather than quick-and-dirtiness or verbosity. |
|
e*******o
发帖数: 4654 | 22 学个FP 语言。haskell or ocaml。 |
|
m******e
发帖数: 201 | 23 js基本只招new grad, 然后用ocaml套牢 |
|
D****3
发帖数: 611 | 24
ocaml怎么套牢？
不就编程语言不一样么？能不能帮小弟解释下换个工作为什么很困难？ |
|
|
y****9
发帖数: 252 | 26 哎呀, 我已经尽量避免是钓鱼贴了。 我算上实习也只是入行两年一个月， 投递微软写
预期工资我只敢写92K，不敢投SDE II， 我能牛到哪里去。
“知识分子最容易犯的错误是什么？”，“往往认为讲道理是行得通的。”媳妇儿说我
就是这类。这里庆幸的是我的老板不是阿三，都是老白。 我很同意yuxrose 说的时不
我待，所以我才搬到公司附近，基本上六点半七点钟吃完饭我就可以开始上课或者看书
了。 我老板也是推荐我每半年去出外面面试一次，半年前面试了用 Ocaml 的Jane
Street， 第三轮灭了， 太多脑筋急转弯了。我们组还有每个月两天Hack Day 的福利
，也就是为啥我上面叽叽喳喳地说我有机会可以提出各种改进方案。 但有时候，也顿
足捶胸的，这头刚刚写完federation，回头发现最新版的Windows Server 2012 的AD就
已经有了Federated Service。 再提出要改的时候，产品已经到了QA。 这种也就是我
经验不足，研究没做足导致的。
我后来也和一些朋友聊，除了自己学习， 他们鼓励我多交流，写博客，答题，混沙龙
。 我觉得也有道理。 负能量有点多了 ... 阅读全帖 |
|
s*******n
发帖数: 740 | 27 ls有些人吹得太过了。janestreet是不错的公司，但收入并没那么多，刚进去收入不如
flg的。它最出名的地方是面试特别难特别挑，让人感觉高大上。
招人少一个是因为本身公司就小，另一个是流动少。很多skill（譬如他们内部用OCaml
)无法在其他公司用，所以跳槽也不容易。 |
|
c*******y
发帖数: 1630 | 28 这么说吧，你同样的top coder在好的finance公司拿FLG几倍是不成问题的。当然自己
开公司上市除外。
OCaml |
|
n****e
发帖数: 2401 | 29 太吹嘘某个公司的牛, 后人越难谈到好offer, 因为牛成了包裹的一部分.
高盛名声最响的时候, 底薪7万都能招到矿工, 那时候蓬勃都能给新人9万还没人去.
狗狗现在是个中国人都在神往, 对中国人开出低球offer已经是常态了. 版上还是有人
忍痛据掉更好的offer接受低球.
无他, 公司牛成了包裹的一部分, 还是不能兑现的贬值的那部分.
OCaml |
|
a********5
发帖数: 1631 | 30 会C++，能写FP。OCAML什么的，可以试试一周能不能基本掌握。
数学还行。没学过随机过程。 |
|
b******y
发帖数: 9224 | 31
完全同意，所以，好多语言都是装。原先我有个同事用OCaml写程序，最后没人能维护
。 |
|
r******n
发帖数: 12 | 32 I am currently very actively looking for candidate with COMPILER background.
Email me directly: [email protected]
/* */
or just call me
508-647-3016
Job Summary:
Our proprietary optimizing compiler is a key strategic focus of the
MathWorks. Both the language and the compiler are actively developed by a
talented team of programming language and compiler experts.
Compiling the dynamically-typed matrix-oriented MATLAB language to embedded
systems is not a well-studied problem. You will n... 阅读全帖 |
|
|
k*****1
发帖数: 7 | 34 School of Information Systems, Singapore Management University
Project on software security: three research engineers and one postdoc
The research engineers and postdoc will join a research project on software
security. They will assist in designing, developing and evaluating research
prototypes. Candidates should have strong programming background in C/C++ or
Ocaml. Those who have experiences in security research and operating
systems programming are preferred. A research engineer needs to have |
|
m****s
发帖数: 18160 | 35 【 以下文字转载自 CS 讨论区 】
发信人: ecfbs (wlec4bs), 信区: CS
标 题: Microsoft-funded PhD opportunity (software/ system verification)
发信站: BBS 未名空间站 (Fri Apr 12 13:40:39 2013, 美东)
Microsoft Research PhD studentship: Future Filesystems
======================================================
Project: Future filesystems: mechanized specification, validation,
implementation and verification of filesystems
Supervisors: Tom Ridge (with Andrew Kennedy at Microsoft Research)
Application deadline: 2013-06-02 (June 2nd)
... 阅读全帖 |
|
k*****1
发帖数: 7 | 36 School of Information Systems, Singapore Management University
Project on software security: three research engineers and one postdoc
The research engineers and postdoc will join a research project on software
security. They will assist in designing, developing and evaluating research
prototypes. Candidates should have strong programming background in C/C++ or
Ocaml. Those who have experiences in security research and operating
systems programming are preferred. A research engineer needs to have |
|
R********n
发帖数: 3601 | 37 【 以下文字转载自 SanFrancisco 讨论区 】
发信人: xialiujian (夏留健), 信区: SanFrancisco
标 题: 请教一下，45岁俩娃的纯文科大妈能学CS么？
发信站: BBS 未名空间站 (Mon Jan 10 19:54:27 2011, 美东)
刚办妥了离婚手续。原因就不说了。之前一直在家带娃。十多年
没工作了。身份没问题。以前在国内读音乐，GPA非常一般。经
济暂时还行，但总得再开始工作。实在不喜欢读商科。当年前夫
老想我读会计，我们为此不知吵了多少次。我又是introvert，和
人打交道没有问题，但成天和人说话特别累。所以也不想做agent
什么的工作。前夫是硅公+天生geek。年纪一大把了（他大我几乎
一轮），心情好时给我讲业界掌故，牛人传说。说得眉飞色舞了，
还要来上几段代码，两三公式。不知怎么的，我还不讨厌听。相反，
他聊技术时也许是我们关系最融洽的时段。我家务之余，也偷闲学
了一点OCaml（前夫最爱的语言)。当然也没学多深入。当年也是
为了取悦前夫才开始学的。刚开始他挺高兴。后来我问题多了，他
又不耐烦，老骂我笨。我们大吵几次。... 阅读全帖 |
|
m*******i
发帖数: 8711 | 38 Engineering
Requirements:
* B.S., M.S., or Ph.D. in Computer Science or equivalent
* Extraordinary software engineering talent
* Substantial experience developing web applications
* Knowledge of TCP/IP and network programming
* Experience with compilers, distributed systems, and machine learning a
plus
* Proficiency programming in Python a plus
* Familiarity with functional or declarative programming languages (
OCaml, Erlang) a plus
* The number of years of profe |
|
x********n
发帖数: 56 | 39 刚办妥了离婚手续。原因就不说了。之前一直在家带娃。十多年
没工作了。身份没问题。以前在国内读音乐，GPA非常一般。经
济暂时还行，但总得再开始工作。实在不喜欢读商科。当年前夫
老想我读会计，我们为此不知吵了多少次。我又是introvert，和
人打交道没有问题，但成天和人说话特别累。所以也不想做agent
什么的工作。前夫是硅公+天生geek。年纪一大把了（他大我几乎
一轮），心情好时给我讲业界掌故，牛人传说。说得眉飞色舞了，
还要来上几段代码，两三公式。不知怎么的，我还不讨厌听。相反，
他聊技术时也许是我们关系最融洽的时段。我家务之余，也偷闲学
了一点OCaml（前夫最爱的语言)。当然也没学多深入。当年也是
为了取悦前夫才开始学的。刚开始他挺高兴。后来我问题多了，他
又不耐烦，老骂我笨。我们大吵几次。我的心也就渐渐淡了。不过
当初学的时候真感觉挺有趣。所以我想能不能也当一回硅婆。以前
一直被前夫打击，因为我中学时理科实在差，也就数学能及格。但
现在相当后悔当年没有努力。不知道现在还有没有机会从头来过？
我倒不担心书读不下去，但不知道毕业后有人肯要么？网上搜了一
下，好像程序员还是挺容... 阅读全帖 |
|
b***e
发帖数: 1419 | 40 顶ocaml. 牛逼。这里很多人可能根本不知道那是什么东西。 |
|
M********7
发帖数: 1841 | 41 这个OCAML是神马东西,你能给说说不............. |
|
|
b***e
发帖数: 1419 | 43 啊，你是在美国念的大学。中国基本没有programming languages这个课程，lisp也不
是作为主要
的编程手段教的。在美国的大学里倒是都是lisp/ML/Ocaml/Haskell之类的functional
language作为programming language课程的主打。我以前教过ML。不过话说回来，大二
用lisp做
prolog的interpreter还是很变态的一件事情，光括号就搞定你。 |
|
n***e
发帖数: 723 | 44 有个TIOBE语言排名网站按热度列出来以下这些个：
Java，C，Objective-C，C++，C#，PHP，Python，(Visual) Basic，Perl，Ruby，
JavaScript，Visual Basic .NET，Lisp，Pascal，Delphi/Object Pascal，Transact-
SQL，Bash，MATLAB，Assembly，Ada，Lua，PL/SQL，SAS，COBOL，Fortran，R，
LabVIEW，Scheme，Scratch，ABAP，Logo，Prolog，Haskell，Erlang，Scala，D，
Smalltalk，RPG (OS/400)，OpenCL，Forth，NXT-G，APL，ML，ActionScript，Common
Lisp，Awk，F#，Tcl，PL/I，CFML，(Visual) FoxPro, ABC, Algol, Alice, Apex,
AutoLISP, bc, BETA, C shell, CHILL, CL (OS/400), Clean, Clojure, cT, Dart,
Dy... 阅读全帖 |
|
W*******e
发帖数: 1268 | 45 这些点对Smalltalk，GCC，Ocaml，Delphi一样适用，只有Java让人头疼 |
|
S***n
发帖数: 2932 | 46 来自主题: LeisureTime版 - 发指的语言 bso阿－－我就是没life的loser啦。
其实不算太老，和ocaml差不多年纪，差不多类型，但是更academia一点，一些语言设
计不够成熟。为了压缩state space，code写的很不human readible，用了很多ground
terms，最长的一个term有三行。。。而且syntax highlight作的也很烂，基本就靠肉
眼＋括号匹配了。幸亏有emacs，如果上下左右键，光想我都觉得崩溃。 |
|
s*****e
发帖数: 21415 | 47 slang用户层其实和perl之类的差不多，复杂的是内核，属于functional programming
的范畴。
函数以内基本就是imperative programming，简单script
属于把functional programming的先进理念和script的易用性结合的不错的一种语言。
其实纯的functional programming比方说ocaml实际上很不好用。 |
|
r*********r
发帖数: 3195 | 48 ocaml is not pure FP. the whole ML family is a mixed language. |
|
r*********r
发帖数: 3195 | 49 jane street capital is probably the only ocaml house on the street |
|
r*********r
发帖数: 3195 | 50 who yah? haskell is damn hard to use.
the guy at jane street is advertising ocaml all the time.
http://vimeo.com/14317442 |
|
