[Haskell-cafe] HSpec vs Doctest for TDD

[MigMit]

That's true. I'm not stating tests aren't necessary; I'm stating TDD isn't necessary. You write tests, but you don't START with writing tests.

Отправлено с iPad

> 25 июня 2014 г., в 13:56, "Henk-Jan van Tuyl" <hjgtuyl at chello.nl> написал(а):
> 
>> 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
> --