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

I read an interesting article this morning by Reinier Zwitserloot on the topic of null subtypes in statically typed languages. The issue is that in Java and C# there are a number of different type modifiers for dealing with the concept of nullity. Because of this even a simple base type can be one of three separate somewhat incompatible ...