[Haskell-cafe] HANSEI in Haskell?

[Chung-chieh Shan]

Leon Smith <leon.p.smith at 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 at 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?