[Haskell-cafe] Tutorial on Haskell

Sebastian Sylvan sebastian.sylvan at gmail.com
Wed Apr 18 13:50:04 EDT 2007

On 4/18/07, Taillefer, Troy (EXP) <troy.taillefer at lmco.com> wrote:
> I have to strongly disagree with the statement that developers like to
> debug. Debugging is necessary because you can't reason about any
> "sizeable" piece of code just is not tractable even in Haskell. Now
> automated tools for reasoning about programs are very cool but lets face
> it no real world developer will sit down start to manually formally
> reason about large pieces of code.
I think the emphasis when mentioning "reasoning" really shouldn't be "you
can reason formally about your programs and prove that they don't go wrong",
nor "when it has gone wrong, you can reason about the program to figure out
why", it should be "since the language doesn't do batshit insane things
behind your back, your programs will mostly work the first time".
The "reasoning" isn't an active task that you schedule time for, at least
for a casual user like me, it's part of the actual programming. You do
"reasoning" when writing in C++ as well, but you often get it wrong (because
the language is, shall we say, unreasonable?) and that causes bugs.

Sebastian Sylvan
UIN: 44640862
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20070418/304b8a53/attachment-0001.htm

More information about the Haskell-Cafe mailing list