[Haskell-beginners] do Haskell programs have fewer bugs?
Dennis Raddle
dennis.raddle at gmail.com
Wed Mar 19 17:09:48 UTC 2014
I was thinking about why it seems I can write Haskell code without bugs in
a much easier way than imperative languages. Part of it is the strict
type-checking, but I think there is something more. It's the potential for
conciseness. I work hard when programming in Haskell to take advantage of
language features that make my program concise. Somehow this leads me to
think about it in a certain way. I know I'm on track as it gets smaller and
smaller. And as it gets smaller, it leads me to think about my logic's
cases and things like that. Certain patterns show up and I think about what
those patterns mean for the structure of my problem.
By the time I'm done with all that, I've analyzed my problem much more
thoroughly than I would ever do in an imperative language.
Dennis
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/beginners/attachments/20140319/1d7b74c0/attachment.html>
More information about the Beginners
mailing list