3 ms·
Here's a blog post by Yaron describing the talk: http://ocaml.janestreet.com/?q=node/75 http://ocaml.janestreet.com/?q=node/75
by kanak 16y ago
Here's a blog post by Yaron describing the talk:
http://ocaml.janestreet.com/?q=node/75 http://ocaml.janestreet.com/?q=node/75
- mathgladiator 16y agoI have to say that I agree with all of small lessons presented, and I couldn't say enough on how the lesson "Make illegal states unrepresentable" is core to any static type system and makes my life much better.