[Haskell-cafe] [Haskell] ANNOUNCE: control-monad-loop 0.1

Roman Cheplyaka roma at ro-che.info
Mon Jul 9 23:45:08 CEST 2012

* Joey Adams <joeyadams3.14159 at gmail.com> [2012-07-09 14:29:43-0400]
> > Also, it's not obvious how your tests work. Please consider using HUnit
> > and test-framework (or similar) to organize them.
> The tests currently aren't automated.  It's hard to write an automated
> test to make sure a program doesn't leak.  Not impossible (thanks to
> GHC.Stats), but hard.

Unfortunately, in Haskell space usage is not modular[1], so ensuring
that a library (as opposed to a particular program) doesn't lead to
memory leaks is often hard.

Unit/property tests have more obvious benefits, IMO.

[1]: http://ro-che.info/articles/2012-04-08-space-usage-reasoning.html

Roman I. Cheplyaka :: http://ro-che.info/

More information about the Haskell-Cafe mailing list