Leon Smith <leon.p.smith@gmail.com> wrote in article <AANLkTikF6EX4U+uTwNcrdFZPj-ijTWb74o2W_RJMGOe=@mail.gmail.com> in gmane.comp.lang.haskell.cafe:
On Wed, Feb 23, 2011 at 10:52 AM, Chung-chieh Shan <ccshan@cs.rutgers.edu> wrote:
Mostly we preferred (as do the domain experts we target) to write probabilistic models in direct style rather than monadic style. Haskell's laziness doesn't help -- in fact, to avoid running out of memory, we'd have to defeat that memoization by sprinkling "() ->" throughout the types. I don't think that "() ->" is even guaranteed to work...
That's quite true. Then again, it's not guaranteed that "() ->" is needed for good memory usage. We just need a sufficiently smart compiler! -- Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig 1st graffitiist: QUESTION AUTHORITY! 2nd graffitiist: Why?