Matthew Podwysocki

Browse by Tags

• ALT.NET
• C#
• DBC
• DDD
• F#
• TDD/BDD

• Your API Fails, Who is at Fault?

  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... Posted May 08 2008, 07:50 PM by Matthew.Podwysocki with | with 2 comment(s) Filed under: C#, DBC, Spec#, TDD/BDD

• Command-Query Separation and Immutable Builders

  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... Posted May 06 2008, 05:59 PM by Matthew.Podwysocki with | with 2 comment(s) Filed under: C#, DBC, F#, Spec#, TDD/BDD

• Side Effecting Functions Are Code Smells Revisited

  After talking with Greg Young for a little this morning, I realized I missed a few points that I think need to be covered as well when it comes to side effecting functions are code smells. In the previous post , I talked about side effect free functions... Posted May 01 2008, 07:15 PM by Matthew.Podwysocki with | with 12 comment(s) Filed under: C#, DBC, DDD, Spec#

• Side Effecting Functions are Code Smells

  I know the title might catch a few people off guard, but let me explain. Side effecting functions, for the most part, are code smells. This is a very important concept in Domain Driven Design (DDD) that's often overlooked. For those who are deep in... Posted Apr 30 2008, 07:26 PM by Matthew.Podwysocki with | with 12 comment(s) Filed under: C#, DDD, F#, Spec#

• Making Spec# a Priority

  During ALT.NET Open Spaces, Seattle, I spent a bit of time with Rustan Leino and Mike Barnett from the Spec# team at Microsoft Research. This was to help introduce Design by Contract (DbC) and Spec# to the ALT.NET audience who may not have seen it before... Posted Apr 28 2008, 07:16 PM by Matthew.Podwysocki with | with 7 comment(s) Filed under: ALT.NET, Spec#