I'm a huge proponent powerful static checking, so I haven't written much code with contracts. My understanding is that they're quite wonderful for dynamic prope

I'm a huge proponent powerful static checking, so I haven't written much code with contracts. My understanding is that they're quite wonderful for dynamic property elaboration, though, so by that fiat I'd say I'm a fan.