Yaron Minsky: Effective ML (video)

ocaml.janestcapital.com

29 pointslogicalstack2 comments

Here's a blog post by Yaron describing the talk:

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

I 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.

Reply on news.ycombinator.com