It’s been a very exciting week.  I actually had more things to post than time would allow me to write about.  I’ll have to save them for next time.   Blog: Daniel Spiewak’s What is Hindley-Milner? (and why is it cool?) Hindley-Milner is the algorithm all these fancy programming languages like F# and Haskell for type ...