http://www.atalasoft.com/cs/blogs/rickm/archive/2008/10/24/much-ado-about-null-types.aspxI 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. BecauseenCommunityServer 2.1 SP1 (Build: 61025.2)http://www.atalasoft.com/cs/blogs/rickm/archive/2008/10/24/much-ado-about-null-types.aspx#16296Fri, 24 Oct 2008 18:25:47 GMT647108ca-f046-4d8d-9feb-a7fbd2049b37:16296TrackBackhttp://www.atalasoft.com/cs/blogs/rickm/archive/2008/10/24/much-ado-about-null-types.aspx#16319Sun, 26 Oct 2008 11:01:27 GMT647108ca-f046-4d8d-9feb-a7fbd2049b37:16319Andy Wilkinson<p>You mentioned, &quot;Syntactic sugar for null checks&quot;...</p> <p>Have you seen Spec# (<a rel="nofollow" target="_new" href="http://research.microsoft.com/SpecSharp/">http://research.microsoft.com/SpecSharp/</a>)?</p> <p>This is based upon the C# syntax, but allows amongst other things specifying arguments to methods to be non-null. It can then cofirm that all paths to the call will be provide a non-null value.</p> <p>Andy</p>http://www.atalasoft.com/cs/blogs/rickm/archive/2008/10/24/much-ado-about-null-types.aspx#16337Mon, 27 Oct 2008 20:21:22 GMT647108ca-f046-4d8d-9feb-a7fbd2049b37:16337DotNetKicks.com<p>You've been kicked (a good thing) - Trackback from DotNetKicks.com</p> http://www.atalasoft.com/cs/blogs/rickm/archive/2008/10/24/much-ado-about-null-types.aspx#16354Tue, 28 Oct 2008 19:10:57 GMT647108ca-f046-4d8d-9feb-a7fbd2049b37:16354configurator<p>We will have named and optional parameter (with defaults) in C# 4.0 version.</p> <p>See <a rel="nofollow" target="_new" href="http://brian.genisio.org/2008/10/excitement-that-is-c-40.html">http://brian.genisio.org/2008/10/excitement-that-is-c-40.html</a></p>