Effective ML: Making Illegal States Unrepresentable in Static Type Systems
Head of Technology at Jane Street (Harvard PhD)
1:09:24·2016·graduate level·Conference Talk
Origin of the famous software engineering maxim 'make illegal states unrepresentable': practical algebraic data types, phantom types, and module abstraction from trading systems engineering.
A talk given at Harvard's CS51 class in 2010 (which is taught in OCaml), with a collection of suggestions about how to be an effective ML programmer in an industrial setting
Comments
Add a comment...Sign in