On Tue, 24 Jun 2014 23:18:11 +0200, MigMit
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@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 --