After my recent post on the introduction of Code Contracts in .NET 4.0 , I got some strong reaction that they would rather rely on TDD, or the better term, Example Driven Development specifications to ensure correctness.  Instead, it's my intent to talk about how they can complement each other...

Over the past couple of months, I've been working on some language oriented programming concepts in F# to prove how Domain Specific Languages could work. This coincided with my lofty goals of working towards more Behavior Driven Development (BDD) frameworks and expressiveness that I think is needed...

As I've covered earlier , I'm very interested in the unit testing and behavior testing story in F# and functional programming. And as I've indicated earlier, I'm pretty fascinated by Domain Specific Languages (DSLs) as well in this regard. In the past, I've posted about some of the...

I decided to stay on the Design by Contract side for just a little bit. Recently, Raymond Chen posted "If you pass invalid parameters, then all bets are off" in which he goes into parameter validation and basic defensive programming. Many of the conversations had on the blog take me back to...

In one of my previous posts about Command-Query Separation (CQS) and side effecting functions being code smells, it was pointed out to me again about immutable builders. For the most part, this has been one area of CQS that I've been willing to let break. I've been following Martin Fowler's...