
24 Feb
2011
24 Feb
'11
1:50 p.m.
Leon Smith
On Wed, Feb 23, 2011 at 10:52 AM, Chung-chieh Shan
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?