My take aways from the talk:<p>1. Financial transactions are adversarial and have heavy tails. Testing is not sufficient for Universal Guarantees, type system helps here.<p>2. Whole class of trivial bugs are not there because of Option (Some, None) and SystemF type system<p>3. Type system should be part of design process (which happens in OCaml)<p>4.Precise and Expressive type systems.<p>5. Right tool for right job, but with OCaml is in sweet-spot to write huge range of programs
 * little scripts
 * mini langs for configs
 * big trading system<p>6. Teaching&#x2F;Learning:
 * a good percentage of traders with a month long bootcamp were able to learn with a good level of competence
 * MIT and Harvard students were able to achieve competence  in 3-4 week internships.<p>7. The &quot;python&quot; paradox, esoteric language development helps attract high-quality&#x2F;better talent<p>8. Tools and libraries
 OCaml would not be great if you have to reinvent lot of libraries ala. web development, but has good reasonable ecosystem for customized solutions (like trading systems etc.)