Linked by Thom Holwerda on Thu 6th Sep 2012 18:07 UTC, submitted by MOS6510
General Development "Imagine an approach to programming where you write down some description of what your code should do, then before running your code you run some automatic tool to see if the code matches the description. That's Test-driven development, you say! Actually, this is what you are doing when you use static types in most languages too. Types are a description of the code's inputs and outputs, and the check ensures that inputs and outputs match up and are used consistently. Modern type systems - such as in Haskell or above - are very flexible, and allow these descriptions to be quite detailed; plus they are not too obtrusive in use and often very helpful."
Permalink for comment 534301
To read all comments associated with this story, please click here.
It's interesting...
by satsujinka on Fri 7th Sep 2012 20:27 UTC
Member since:

that the other programming related "news" have lots of comments, but this one has none.

I mean Haskell's a great language so I'm surprised there's no dialog here. Is it a demographic thing? Or is the post just too long to form coherent posts?

Reply Score: 2