Thinking functionally with Haskell

By Thom Holwerda, submitted by MOS6510 on 2012-09-06 18:07:20

"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."

9

Recent related stories - Visual Studio 2013 announced - 2013-06-03 - AIDE v2 adds C/C++ support - 2013-05-18 - Android Studio early access preview - 2013-05-15 - Seven traits of effective programmers - 2013-05-05 - BlackBerry 10 API: worth your development time? - 2013-05-01 - More related articles

 

News	Features	Interviews
Blog	Contact	Editorials