Browse by Tags

All Tags » Spec# (RSS)

Spec# and Boogie Released on CodePlex by podwysocki

You may have noticed that in the past that I’ve talked extensively about Spec# , an object-oriented .NET language based upon C# with contract-first features as well as a non-null type system. This project has not only been covered by myself, but also...
Filed under:

How would the CLR Be Different? by podwysocki

UPDATED: Added improved generics with higher-kinded polymorphism There was a good discussion on Twitter a couple of nights ago that arose due to some issues that with an expression that might return a value, or might not (void) and how you handle them...
Filed under: , ,

Code Contracts - TDD in a DbC World by podwysocki

Lately, I've been talking about the new feature coming to .NET 4.0, Code Contracts , which is to bring Design by Contract (DbC) idioms to all .NET languages as part of the base class library. Last week, I attended QCon, where Greg Young, one of my CodeBetter...
Filed under: , ,

.NET Code Contracts and TDD Are Complementary by podwysocki

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...
Filed under: , ,

Code Contracts for .NET 4.0 - Spec# Comes Alive by podwysocki

As I've said in many posts before, I'm a big fan of stating your preconditions, postconditions, invariants and so on explicitly in your code through the use of contracts in the Design by Contract Parlance. Spec# is a project that came from Microsoft Research...
Filed under: ,

Static versus Dynamic Languages - Attack of the Clones by podwysocki

Very recently there has been an ongoing debate between static and dynamically typed languages. Since it seems that there has been some Star Wars references, I thought I'd add my own. I originally wanted to cover this as part of the future of C#, but I...
Filed under: , , ,

What Is the Future of C# Anyways? by podwysocki

It was often asked during some of my presentations on F# and Functional C# about the future direction of C# and where I think it's going. Last night I was pinged about this with my F# talk at the Philly ALT.NET meeting. The question was asked, why bother...
Filed under: , , ,

Your API Fails, Who is at Fault? by podwysocki

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...
Filed under: , , ,

Command-Query Separation and Immutable Builders by podwysocki

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...
Filed under: , , , ,

Side Effecting Functions Are Code Smells Revisited by podwysocki

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...
Filed under: , , ,
More Posts Next page »