[Haskell-cafe] Indentation Creep

Miguel Mitrofanov miguelimo38 at yandex.ru
Sun Jul 15 23:58:23 EDT 2007


CR> let's see whether we can get from the initial version to the
CR> suggested final version without any magic, in a somewhat long
CR> sequence of minor rewrites/refactorings.

Great! Thanks a lot, Claus. It's always interesting and enjoyable to
see somebody explaining your own way of reasoning (well, not exactly,
but the idea is the same).

CR> next, we can make use of the fact that pattern match failure in
CR> do-notation invokes fail in the monad, by defining 'fail msg =
CR> mzero'

My bad, I forgot about "fail".

CR> whereas my only test was "does it still compile?",

So was mine.

CR> which gives no assurance that the code transformations were indeed
CR> refactorings.



More information about the Haskell-Cafe mailing list