In the image processing world, like most computational problems, we often think our work is composed of only two basic ideas: representation and transformation.  Of course, one may have many layers of both representations of transformations and transformations of representations which can make things appear quite complex at times. ...

In this post I compare and contrast Haskell and F#.  It may come as no surprise that with so much shared history they share so much in common.  However, it’s interesting to consider how the perspectives of the languages’ developers play a large role in determining the differences between the languages.   A Shared History As far ...

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

Compilers and programmers are good at very different things.  This is why they must come together in order to build software.  The programmer has the vision and the intention, the compiler keeps track of all of the small machine related details and optimizations.  Unfortunately, this is not an ideal world.  At any given time a ...

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