[Haskell-cafe] Re: Knot tying vs monads

John D. Ramsdell ramsdell0 at gmail.com
Tue Nov 20 07:12:11 EST 2007

On Nov 19, 2007 11:42 AM, apfelmus <apfelmus at quantentunnel.de> wrote:

> Thanks. The interesting case of nested blocks still needs to be
> specified, but with this description in mind and judging from the code,
> I guess it behaves as follows: either a block fits entirely on the
> remaining line (no line breaks inside), or it begins a new line.

Yeah, breakdist does not look inside a block when computing the break

> On the strictness annotations, my reasons for them are the usual ones,
> primarily to prevent memory leaks due to dragging, but a performance boost
> is always welcome.  At some point, I plan to profile the code with and
> without the annotations, and find out where they are needed.

That seems excessive. Can you really prove that this will prevent space
> leaks? I doubt that.

Ooh, I think I overstated my case.  I meant to say that for my application,
there are just a few data structures, such that if data traceable from them
is strictly evaluated, I'm pretty sure I will have no space leaks.
Currently it's just an intuition, but when the application is mature, I'll
profile and validate this intuition.  All I know is it was dog slow without
any annotations, and spaying them on the suspect data structures cured that
problem.  Only careful profiling will tell which of those annotations can be

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20071120/75a44560/attachment.htm

More information about the Haskell-Cafe mailing list