Caml Trading talk at CMU

Thu, 2009/03/12 - 9:30pm — yminsky

I was at CMU several weeks ago, and gave a version of my "Caml Trading" talk there. See below if you are interested in seeing the video. It's a reasonably good source if you're interested in understanding more about how and why Jane Street uses OCaml.

Comments

Fri, 2009/03/13 - 6:55am — gildor

Quoting for OCamlCore.com

Is it possible to use your different arguments (against OO and F#) on my own website ?

Thanks in advance Sylvain Le Gall

(website: www.ocamlcore.com)

Fri, 2009/03/13 - 2:29pm — yminsky

Quoting

Do you mean you'd like to quote something I said? I don't have any objection to that...

Fri, 2009/03/13 - 4:46pm — alpmestan

Excellent talk

Hi,

Thanks for putting this talk here.

It is very interesting and I know I'll now have an excellent link to give to people with a bad opinion of OCaml !

Fri, 2009/03/13 - 5:47pm — gildor

Quoting

No direct quote, but use your idea about :

  • The three main ideas in Object Oriented programming:
    • interface: good idea,
    • polymorphism: good idea but OCaml parametric polymorphism is a better implementation
    • inheritance: wrong idea because you need to read the code inherited...
  • F# is good but its GC is not made with FP in mind, so it can't handle the allocation rate of FP and calling .NET method just raise the scary "NULL" pointer exception again
  • Paying a lot of people to read a code full of "boilerplate" is not a good idea. OCaml allow to have a very small codebase which is more easy to read than more mainstream language
  • OCaml is good for:
    • Brevity
    • Pattern matching
    • Refactoring (with pattern matching in mind)

(I am not a native english speaker and just listen to your talk 1 time, so maybe I have misunderstood some points)

So this is not about quoting like "OO is ... " as Y. Minsky from Jane Street Capital said. I just want to take your ideas, write some web pages and thank you in another web pages for giving me ideas about these points.

Do you still agree ?

Fri, 2009/03/13 - 9:06pm — yminsky

Quoting

No objection. These ideas weren't really invented by me in any case, merely collected. A couple of corrections, though.

First, I think this is what you were trying to say, but to be clear, my point about subtyping is that it is the wrong default form of polymorphism, and that the right default (not implementation) is parametric polymorphism.

Second, while you've correctly pointed out some of my worries about F#, the language also has a great deal to recommend it. I don't think we'll be switching over all of our code anytime soon, but I do think it's a lovely language, and may be the way in which the Hindley-Milner type system hits the big time...

Fri, 2009/05/08 - 9:33am — mykola

Very nice talk

Thanks for publishing it here. I got a real enjoyment from hearing many of my own thoughts in your speech :-)

Mon, 2009/08/24 - 5:04am — Rolandar

Great seeing OCaml being used in such a large company

I am used to seeing OCaml in research facilities, but it was great to hear why Jane Street has chosen to go with OCaml. I used to program in VB when I worked for banks/telcos as a programmer and so have stuck with .Net for my flights site, but it would be great to rewrite it in OCaml & get all that static-typing goodness.

Sat, 2009/08/29 - 2:47am — tigerthink

Monitoring software

You mentioned that it's very important for your code to be correct so it doesn't cause you to lose money fast. Why don't you create software that monitors the effectiveness of your trading algorithms and shuts things down if you seem to be losing a lot of money?

Tue, 2009/09/22 - 12:20pm — orbitz

tiger, Isn't that basically

tiger, Isn't that basically equivalent to solving the halting problem? If your code on how to trade things is incorrect, isn't the code to monitor how you are trading things going to be incorrect as well?

Tue, 2009/09/22 - 1:03pm — orbitz

Further Reading?

Is there any suggested reading for some of the points Yaron made about OCaml's strengths? Specifically, he mentioned that in Java it is hard to know what type you are working with given inheritance. But it seems like OCaml would have the same problem if you consider polymorphic variants and OCaml's object system. Does Jane St not use these two tools?

Tue, 2010/01/05 - 4:57pm — andrew

OCaml vs Haskell

Firstly I greatly admire your conviction for basing your business on a functional language and I can fully understand your reasons for choosing OCaml over traditional imperative languages.

As a Scheme programmer myself working on AI solutions for trading I have been looking at more performant alternatives to Scheme and have gravitated towards Haskell rather than OCaml because of its support parallel processing and marginally better performance than OCaml on the Language Shootout.

Did you evaluate OCaml against Haskell and what were your reasons for going with OCaml ?

Regards

Andrew

Wed, 2010/01/20 - 7:43pm — lloydmoore

Credit where it's due

As a long time admirer of ocaml, stuck in a job with limited (but thankfully expanding) opportunities to code solutions in my favoured language, I want to thank you for publishing this video for the following two reasons.

  1. Being the only functional programmer in my workplace, it is hard to win over traditional OOPists ( even after providing ocaml solutions such as parsers and on-the-fly code generators ) as to the long-term benefits of using ocaml.

  2. The sheer joy of listening to someone describe a subject with an engaging combination of wit, intelligence, energy and clarity.

Very well done.

Syndicate content