4 ms·

"A powerful IDE that ensures quality code", they say. Now that would be worth paying money for. If it were possible. Which it isn't.

by gjm11 17y ago

dschobel 17y ago
That's probably a reference to their new Code Contracts feature: Code Contracts provide a language-agnostic way to express coding assumptions in .NET programs. The contracts take the form of pre-conditions, post-conditions, and object invariants. Contracts act as checked documentation of your external and internal APIs. http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx
- gjm11 17y ago
  Jolly good, and I'm all in favour of better tool support for contracts, but that still can't "ensure quality code". (If whoever thought my comment needed downvoting would like to explain why -- because it's too obvious? because it's wrong? because there's nothing at all wrong with a major software vendor making totally false and unreasonable claims in their promotional materials? -- then I am, seriously although not literally, all ears.)
  - queensnake 17y ago
    I didn't vote you down but, their claim is true at a micro level: I ensure that you give me this, whereupon you can be sure I'll give you that (or exceptions will be thrown). Plus, it's maybe a waste of scoffing to scoff at marketing hype. Poor Eiffel; its doom was to lead the way, and get picked apart by its children. Maybe if it hadn't looked like Pascal it might have done better. That said, I'm really surprised that design by contract hasn't been incorporated more widely, before now.
  - rbanffy 17y ago
    > Jolly good, and I'm all in favour of better tool support for contracts, but that still can't "ensure quality code". It all depends on how you define "quality". And your down-votes could be attributed to the topic of the thread. Anything that casts doubt over Microsoft's One True Way is not welcome in certain message threads.
viggity 17y ago
There is a free version of Nitriq available (www.nitriq.com), you can kind of think of it as FXCop on crack disclaimer - I wrote Nitriq
s3graham 17y ago
I'm not disagreeing, but Pex looks pretty cool too.

"A powerful IDE that ensures quality code", they say. Now that would be worth paying money for. If it were possible. Which it isn't.

by gjm11 17y ago

"A powerful IDE that ensures quality code", they say. Now that would be worth paying money for. If it were possible. Which it isn't.

dschobel 17y ago

That's probably a reference to their new Code Contracts feature: Code Contracts provide a language-agnostic way to express coding assumptions in .NET programs. The contracts take the form of pre-conditions, post-conditions, and object invariants. Contracts act as checked documentation of your external and internal APIs. http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx

gjm11 17y ago
Jolly good, and I'm all in favour of better tool support for contracts, but that still can't "ensure quality code". (If whoever thought my comment needed downvoting would like to explain why -- because it's too obvious? because it's wrong? because there's nothing at all wrong with a major software vendor making totally false and unreasonable claims in their promotional materials? -- then I am, seriously although not literally, all ears.)
- queensnake 17y ago
  I didn't vote you down but, their claim is true at a micro level: I ensure that you give me this, whereupon you can be sure I'll give you that (or exceptions will be thrown). Plus, it's maybe a waste of scoffing to scoff at marketing hype. Poor Eiffel; its doom was to lead the way, and get picked apart by its children. Maybe if it hadn't looked like Pascal it might have done better. That said, I'm really surprised that design by contract hasn't been incorporated more widely, before now.
- rbanffy 17y ago
  > Jolly good, and I'm all in favour of better tool support for contracts, but that still can't "ensure quality code". It all depends on how you define "quality". And your down-votes could be attributed to the topic of the thread. Anything that casts doubt over Microsoft's One True Way is not welcome in certain message threads.

viggity 17y ago

There is a free version of Nitriq available (www.nitriq.com), you can kind of think of it as FXCop on crack disclaimer - I wrote Nitriq

s3graham 17y ago

I'm not disagreeing, but Pex looks pretty cool too.