Discriminated unions or sum types are a natural way to model logical OR. Often you have a property that distributes over OR. Say, in F# (used throughout the article, though the ideas should apply equally well to any ML), you can write a combinator of the[...]

  Today is the day to submit to "Data Driven Functional Programming 2013". http://blogs.msdn.com/b/dsyme/archive/2012/09/01/announcing-quot-data-driven-functional-programming-2013-quot-workshop-at-popl-submission-date-oct-8-2013.aspx DDFP is an exciting n[...]

Why is Typescript more interesting than coffeescript and similar constructs? Typescript is an extension of the javascript language. If you avoid the syntactic sugar for classes and modules in typescript, but it still can be very helpful (perhaps a sweet a[...]

I recently started using Sublime Text 2 as my main editor for non .net related languages – and I really enjoy it (I think I will pay Mr. Skinner soon – well deserved!). If you are working with Haskell, then … Continue reading →

As a software engineer, I am frequently searching my projects’ source trees for various code snippets, or searching a collection of log files for a particular message, or some other type of text searching activity.  The traditional Windows utility for suc[...]

This is my list of takeaways from a very good talk by Theo Schlossnagle on things you should be thinking about when designing a system for large scale. I hope you enjoy the talk as much as I did, it certainly leaves plenty of food for thought and personal[...]

One of the fears is that the days of PC is considered over. That we there will be a massive shift towards a reduction of the interface. Some have pointed out that the start screen on Windows 8: It’s Almost Not Terrible. Gartner sums it up in a word: Bad f[...]

One of the fears is that the days of PC is considered over. That we there will be a massive shift towards a reduction of the interface. Some have pointed out that the start screen on Windows 8: It’s Almost Not Terrible. Gartner sums it up in a word: Bad f[...]