• View
• Edit
• History
• Print

Notes

http://ocaml.janestreet.com/?q=node/61

at 19 minute mark -- discussion of billions of $ per day being automatically traded - need for correctness.

24 min -- 1 TB/day

28 min -- reading code; brevity of oCaml -- HOF, functors, macros

29 min -- boilerplate code is dull, can't review it! ML is good at avoiding it.

30 mins -- type systems for assisting in informal correctness

40 mins -- encoding your proof obligations into the type system

41 mins -- boilerplate is also bad for agility because you have to make changes all over the place, and you will inevitably make mistakes.

47 mins -- jane st summer project, http://ocaml.janestreet.com/?q=node/57 (from http://janestreetsummer.com/)

49 mins -- end formal talk

50 mins -- oCaml has OO extensions, but people don't use them! "We never use the object system."