[Haskell-cafe] HSpec vs Doctest for TDD

[Henk-Jan van Tuyl]

On Tue, 24 Jun 2014 23:18:11 +0200, MigMit <miguelimo38 at yandex.ru> wrote:

> Well, for me TDD seems to be a poor substitute for type safety.
>
> And I specifically mean the level of type safety Haskell provides. In  
> other languages TDD could be a good thing (although I value explorative  
> programming too much), but in Haskell I think it's a waste of time.

Type safety does not cover everything; nearly an infinite number of  
functions could be made with the type:
   f :: Int -> Int

To paraphrase prof. Edsger W. Dijkstra:
   No amount of type checking will prove a program correct

Regards,
Henk-Jan van Tuyl


-- 
Folding at home
What if you could share your unused computer power to help find a cure? In  
just 5 minutes you can join the world's biggest networked computer and get  
us closer sooner. Watch the video.
http://folding.stanford.edu/


http://Van.Tuyl.eu/
http://members.chello.nl/hjgtuyl/tourdemonad.html
Haskell programming
--