Leon Smith <leon.p.sm...@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 > <ccs...@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? _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe