I would very much appreciate if you can expand on this:<div><br><blockquote class="gmail_quote" style="margin: 0px 0px 0px 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
Haskell's laziness doesn't help -- in fact, to avoid running out of<br></blockquote><blockquote class="gmail_quote" style="margin: 0px 0px 0px 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
memory, we'd have to defeat that memoization by sprinkling "() ->"<br></blockquote><blockquote class="gmail_quote" style="margin: 0px 0px 0px 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
throughout the types.<br></blockquote><div><br></div><div>Would it be possible to explain this with an example?</div><div><br></div><div>Thanks</div><div><br></div><div>Daryoush</div><div> </div><div class="gmail_quote">
On Wed, Feb 23, 2011 at 7:52 AM, Chung-chieh Shan <span dir="ltr"><<a href="mailto:ccshan@cs.rutgers.edu" target="_blank">ccshan@cs.rutgers.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">Hello! Thank you for your interest.<br>
<br>
Daryoush Mehrtash <<a href="mailto:dmehrtash@gmail.com" target="_blank">dmehrtash@gmail.com</a>> wrote in haskell-cafe:<br>
<div>> Is the "Embedded domain-specific language HANSEI for probabilistic models<br>
> and (nested) inference" described in:<br>
> <a href="http://okmij.org/ftp/kakuritu/index.html#implementation" target="_blank">http://okmij.org/ftp/kakuritu/index.html#implementation</a> available in<br>
> Haskell?<br>
<br>
</div>The closest to that I know of is this one:<br>
<a href="http://d.hatena.ne.jp/rst76/20100706" target="_blank">http://d.hatena.ne.jp/rst76/20100706</a><br>
<a href="https://github.com/rst76/probability" target="_blank">https://github.com/rst76/probability</a><br>
<br>
Or you can apply this monad transformer to a probability monad:<br>
<a href="http://sebfisch.github.com/explicit-sharing/" target="_blank">http://sebfisch.github.com/explicit-sharing/</a><br>
<div><br>
> Is there a reason why the author did the package in Ocaml<br>
> rather than Haskell?<br>
<br>
</div>Mostly we preferred (as do the domain experts we target) to write<br>
probabilistic models in direct style rather than monadic style.<br>
Haskell's laziness doesn't help -- in fact, to avoid running out of<br>
memory, we'd have to defeat that memoization by sprinkling "() ->"<br>
throughout the types.<br>
<br>
--<br>
Edit this signature at <a href="http://www.digitas.harvard.edu/cgi-bin/ken/sig1st" target="_blank">http://www.digitas.harvard.edu/cgi-bin/ken/sig<br>
1st</a> graffitiist: QUESTION AUTHORITY!<br>
2nd graffitiist: Why?<br>
<br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</blockquote></div><br><br clear="all"><br>
</div>