From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 40AA27FEE7 for ; Wed, 26 Jul 2017 02:06:58 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=berenger@bioreg.kyushu-u.ac.jp; spf=None smtp.mailfrom=berenger@bioreg.kyushu-u.ac.jp; spf=None smtp.helo=postmaster@h4.hosting4.cc.kyushu-u.ac.jp Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of berenger@bioreg.kyushu-u.ac.jp) identity=pra; client-ip=133.5.13.5; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="berenger@bioreg.kyushu-u.ac.jp"; x-sender="berenger@bioreg.kyushu-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of berenger@bioreg.kyushu-u.ac.jp) identity=mailfrom; client-ip=133.5.13.5; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="berenger@bioreg.kyushu-u.ac.jp"; x-sender="berenger@bioreg.kyushu-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@h4.hosting4.cc.kyushu-u.ac.jp) identity=helo; client-ip=133.5.13.5; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="berenger@bioreg.kyushu-u.ac.jp"; x-sender="postmaster@h4.hosting4.cc.kyushu-u.ac.jp"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AXFzEoh/iQbqWOv9uRHKM819IXTAuvvDOBiVQ1KB3?= =?us-ascii?q?1+McTK2v8tzYMVDF4r011RmSDNWds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2e2//57ebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRgL2hi?= =?us-ascii?q?cJNzA382/ZhcJ/g61ZvB2vqAdyw5LXbYyPKPZyYq3QcNEcSGFcXshRTStBAoak?= =?us-ascii?q?YoUPFeoOJ+BYoJX6p1sPthu1GBShCuzzxDFHnnH43KI03fg8GgzBxwMvAcgOv2?= =?us-ascii?q?rSrNX6KqgSS/u4w7LJzTXEdfNZxzj95JLLchEhvPGMRrJwcdfIxUkyDQ/KlEmf?= =?us-ascii?q?pZbnPzONz+kAtXWQ4eRnVeKqkWEnqgdxryCgxsctlonJhp8VxUve+SV4x4Y5Pd?= =?us-ascii?q?q4SE1+Yd6lEptcrSaaN5F5Qs4kXmpmuz46x6UbtZO1ciUG0pQqywTCZ/GJaYSF?= =?us-ascii?q?4grvWPufLDp2nn5oeKiziwiv/UWj0OHwS8a53VVMoyFYiNfDrGoN2AbW6sWfSv?= =?us-ascii?q?ty4EOh2TGX2gDT5exIO0A0la3AK549w74wkJUTvEvZEiDqhEr6lqyWd0U5+uiz?= =?us-ascii?q?6+Tnf6zqpoKGO4Bulg7yKKYumtSnDeQ5NAgBQXSb9Pyh2LDt80D1WrVHgucrnq?= =?us-ascii?q?TXqpzXJdwXpqujDA9U1oYj5Qy/DzCj0NkAhnYIMkhFdwyBj4jmJV7OOuv1Auy+?= =?us-ascii?q?g1Srijdk2f/GMqfiApTNM3jDi7fhfatk505B0gY818xQ64hWCrEZOP7zQFP+tM?= =?us-ascii?q?TEDh8lNAy52/roB8941oMaQG6PBq6ZMLjOsVKT/eIuI+yMZJcPtzrnKvgl4eTu?= =?us-ascii?q?jX4jllMHc6mpx8hfVHftFf1jJwCdYGHwqtYHC2YD+AQkH8Lwj1jXfyRaYX21Xr?= =?us-ascii?q?l0zBwBJaSJIL2LEoqgmrGH0yqhNpdXYXpLBRaPAGrzd5jBRrEFY2SQOpkywXQ/?= =?us-ascii?q?SbG9Rtp5hlmVvwjgxu8/Iw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B2AAD+23dZlwUNBYVdGgEBAQECAQEBA?= =?us-ascii?q?QgBAQEBFQEBAQECAQEBAQgBAQEBhBMDgRGOf5B2i2mKHYISASuFGwKDeRYBAQE?= =?us-ascii?q?BAQEBAQEBARIBAQEBAQgWBleCMyKCQwEBAQECASMPAQVGCwsYAgImAgIfOBMIA?= =?us-ascii?q?QGKIwcRsB6CJodzGoNwgQuCHYExhCiCeYMAgj+CR4JhBYdRB4oVhWeIAx6HMYx?= =?us-ascii?q?QgmIBiE6HCJVpJgOBOIEMSYRGYIICZ4k1AQEB?= X-IPAS-Result: =?us-ascii?q?A0B2AAD+23dZlwUNBYVdGgEBAQECAQEBAQgBAQEBFQEBAQE?= =?us-ascii?q?CAQEBAQgBAQEBhBMDgRGOf5B2i2mKHYISASuFGwKDeRYBAQEBAQEBAQEBARIBA?= =?us-ascii?q?QEBAQgWBleCMyKCQwEBAQECASMPAQVGCwsYAgImAgIfOBMIAQGKIwcRsB6CJod?= =?us-ascii?q?zGoNwgQuCHYExhCiCeYMAgj+CR4JhBYdRB4oVhWeIAx6HMYxQgmIBiE6HCJVpJ?= =?us-ascii?q?gOBOIEMSYRGYIICZ4k1AQEB?= X-IronPort-AV: E=Sophos;i="5.40,413,1496095200"; d="scan'208";a="284942773" Received: from hosting4.cc.kyushu-u.ac.jp (HELO h4.hosting4.cc.kyushu-u.ac.jp) ([133.5.13.5]) by mail2-smtp-roc.national.inria.fr with ESMTP; 26 Jul 2017 02:06:56 +0200 Received: from [192.168.2.36] (unknown [133.5.218.148]) (using TLSv1.2 with cipher DHE-RSA-AES128-SHA (128/128 bits)) (No client certificate requested) (Authenticated sender: berenger@bioreg.kyushu-u.ac.jp) by h4.hosting4.cc.kyushu-u.ac.jp (hde-lc-postfix) with ESMTPSA id 01A2A2AA358 for ; Wed, 26 Jul 2017 09:06:53 +0900 (JST) (envelope-from berenger@bioreg.kyushu-u.ac.jp) To: caml-list@inria.fr References: <20170725203527.dr43f6cjmdqqiq7p@delli7.univ-savoie.fr> <20170725225207.Horde.fgR2ec4koihKCiMWNcWZTRL@webmail.in-berlin.de> <6CEE3BE6-5578-4D39-8D43-14781B8FE5F7@gmail.com> From: Francois BERENGER Message-ID: Date: Wed, 26 Jul 2017 09:06:52 +0900 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.2.1 MIME-Version: 1.0 In-Reply-To: <6CEE3BE6-5578-4D39-8D43-14781B8FE5F7@gmail.com> Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] Probabilistic Functional Programming 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