I think the idea is to have more compile-time static type checking, e.g. for exhaustiveness. Probably any C# functional developer experimented with the monadic

I think the idea is to have more compile-time static type checking, e.g. for exhaustiveness. Probably any C# functional developer experimented with the monadic approach (myself included), for example: http://codebetter.com/matthewpodwysocki/2008/09/16/functional-c-pattern-matching/ http://codebetter.com/matthewpodwysocki/2008/09/16/functiona...