Thanks Francois. I heard about them. There exists also a wiki page of probabilistic programming
http://probabilistic-programming.org/wiki/Home

In my opinion, it will (and currently) be attractive techniques in machine learning and robotics.

Best,
-Chan

On Jul 25, 2017, at 8:06 PM, Francois BERENGER <berenger@bioreg.kyushu-u.ac.jp> wrote:

On 07/26/2017 06:12 AM, Van Chan Ngo wrote:
Hi all,
The following link gives a simple example of “probabilistic functional programming”.
http://channgo2203.github.io/articles/2017-02/probfind

If you are interested in the topic:

http://okmij.org/ftp/kakuritu/

and

http://okmij.org/ftp/kakuritu/Hansei.html

might be interesting pages.

Disclaimer: I never used any of those

PS: kakuritu in the URLs should probably be kakuritsu

How do you think about the importance of the expected runtime for this class of functional programs?
Is an automatic analysis valuable in practice? And any idea about the applications of probabilistic functional programming.
Best,
-Chan

--
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs