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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 53F677FEE7 for ; Fri, 28 Jul 2017 17:44:11 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=oleg@okmij.org; spf=Pass smtp.mailfrom=oleg@okmij.org; spf=None smtp.helo=postmaster@mail1.g3.pair.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of oleg@okmij.org) identity=pra; client-ip=66.39.3.114; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="oleg@okmij.org"; x-sender="oleg@okmij.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of oleg@okmij.org designates 66.39.3.114 as permitted sender) identity=mailfrom; client-ip=66.39.3.114; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="oleg@okmij.org"; x-sender="oleg@okmij.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail1.g3.pair.com) identity=helo; client-ip=66.39.3.114; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="oleg@okmij.org"; x-sender="postmaster@mail1.g3.pair.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AbQNk1Bf0GKu17xSFUoWgpK3YlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcu7bB7h7PlgxGXEQZ/co6odzbGH4+a4ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9GiTe5Yr5+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?= =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?= =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6bpgRh31hy?= =?us-ascii?q?cdLzM3/mHZhNJtgqxYrx2uuwFwzIzab4yOKPpyYrnQcc8GSWdbQMpcUTFKDIOm?= =?us-ascii?q?b4sICuoMJf9Wr43jqFsBsBCzAg6sBOfxxT9HnXL22q460+EgEQHExgAgGMgOsH?= =?us-ascii?q?vNodjzKawcX+e1zKzSwjXCafNbwTj955LMchAmoPGMRqh8ftbWyUkqDw/Fj1OQ?= =?us-ascii?q?ppHkPzyP0OQCqXKX4PR9WuKyjWMstgJ/oiC3y8oti4TFnIwYx1Te+Sh32oo5OM?= =?us-ascii?q?C0RUFjbdK5HpZcqzuWOoV5T884Xm1lvDg2xqcItJO0eiUB1Y4pyATFa/OddoiF?= =?us-ascii?q?+hLjW/iVITd/nH9lfaiwhxe28US90OH8Wce53ExSriVfk9nMrGoB2ADU6siCUv?= =?us-ascii?q?d9/0Gh1iiT1w3L6+xJIFo4mKTfJpI7zLM8jIcfvVnMEyPunUX5lq6WdkEq+uiy?= =?us-ascii?q?7OTnZ63rppiYN4BqhQHzKaMums+6AeQ5MAgCRW+b+f6z1LH75032XK1KjuEqkq?= =?us-ascii?q?neqJ3VOd4Upqu9AwNM1oYj6g2/Dyu93dQDnXgHKUpFdwidg4joPVHOOvH4Au2l?= =?us-ascii?q?j1Siijc4j8zBa7bhC5OLKHfEyu25Jp5y7kddzEw4ytUMyYhTD+QmJP/8Ehv2sN?= =?us-ascii?q?HXJhg6Ng22heH9B4MuhcslRWuTD/rBY+vpuliS67d3Lg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AFAgApW3tZh3IDJ0JcHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBhBNtJ48AjweBa5YLghIohR8Cg3JBFgEBAQEBAQEBAQEBEgEBAQo?= =?us-ascii?q?LCQgoL4IzIoJEAQICATo/BRYhNAWLAwixY4s/AQEBBwIBJYMog0yFCYU/gneCM?= =?us-ascii?q?QWRdo13gwmERoxKDYJjgQ2OTIxIiSomDYEuUzEISYJOgliCAmiJfwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AFAgApW3tZh3IDJ0JcHAEBBAEBCgEBFwEBBAEBCgEBhBN?= =?us-ascii?q?tJ48AjweBa5YLghIohR8Cg3JBFgEBAQEBAQEBAQEBEgEBAQoLCQgoL4IzIoJEA?= =?us-ascii?q?QICATo/BRYhNAWLAwixY4s/AQEBBwIBJYMog0yFCYU/gneCMQWRdo13gwmERox?= =?us-ascii?q?KDYJjgQ2OTIxIiSomDYEuUzEISYJOgliCAmiJfwEBAQ?= X-IronPort-AV: E=Sophos;i="5.40,425,1496095200"; d="scan'208";a="233071594" Received: from mail1.g3.pair.com ([66.39.3.114]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 28 Jul 2017 17:44:10 +0200 Received: from mail1.g3.pair.com (localhost [127.0.0.1]) by mail1.g3.pair.com (Postfix) with ESMTP id 6D4373FB2A3; Fri, 28 Jul 2017 11:44:04 -0400 (EDT) Received: from Magus.localnet (g.sf.ecei.tohoku.ac.jp [130.34.192.34]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail1.g3.pair.com (Postfix) with ESMTPSA id 8F787582CB8; Fri, 28 Jul 2017 11:44:03 -0400 (EDT) Date: Sat, 29 Jul 2017 00:47:19 +0900 From: Oleg To: chan.ngo2203@gmail.com Cc: caml-list@inria.fr Message-ID: <20170728154719.GA4577@Magus.localnet> Mail-Followup-To: Oleg , chan.ngo2203@gmail.com, caml-list@inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.6.1 (2016-04-27) Subject: Re: [Caml-list] Probabilistic Functional Programming > 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. Speaking of applications and importance, I would like to point out the DARPA PPAML program that has just finished: http://ppaml.galois.com/wiki/ The challenge problems on the above opage gave the indication of the depth and breadth. About the static analysis, etc. I would recommend browsing the materials of the two Probabilistic Programming Semantics workshops http://pps2017.soic.indiana.edu/ http://pps2016.soic.indiana.edu/