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 146C87FEE7 for ; Tue, 25 Jul 2017 23:12:53 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=chan.ngo2203@gmail.com; spf=Pass smtp.mailfrom=chan.ngo2203@gmail.com; spf=None smtp.helo=postmaster@mail-qt0-f171.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of chan.ngo2203@gmail.com) identity=pra; client-ip=209.85.216.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="chan.ngo2203@gmail.com"; x-sender="chan.ngo2203@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of chan.ngo2203@gmail.com designates 209.85.216.171 as permitted sender) identity=mailfrom; client-ip=209.85.216.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="chan.ngo2203@gmail.com"; x-sender="chan.ngo2203@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qt0-f171.google.com) identity=helo; client-ip=209.85.216.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="chan.ngo2203@gmail.com"; x-sender="postmaster@mail-qt0-f171.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AqX6OWRRODF+v8ts6/M0nv1UGVdpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa69bBaN2/xhgRfzUJnB7Loc0qyN4vCmATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSijewZbB/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlS?= =?us-ascii?q?gHLSY0/mHLhcN/kaxVrhyhqQJ9zIDXZ4+YL+Bxcr/Yfd4ARWpNQsRcWipcCY28?= =?us-ascii?q?dYsPCO8BMP5XoIbnoVsFsAWzBQm2C+Pp1zRGnnD23aon2OkmDQ7G3BYvH9QUvH?= =?us-ascii?q?TSo9X1M7keXf6pwKTG1jjDYPZW1i386IjMaBwuvfaMXbdpfMfX1EIhGQTFjlCK?= =?us-ascii?q?pozkOTOYzusNs2mH7+pgSOKgkHQrqwB2ojWp28wiiZHJi5oLxlzY8Sh12oU4KN?= =?us-ascii?q?2iREJlfNKpEYFcuzyYOodrWs8uXn9ktSUgxrEYt5O2fjIGxIkjyhPQcfCLbomF?= =?us-ascii?q?7g7lWe2MOzl3nmhld6i6hxuq8Uiv1On8Vs6s3VZPtCVFk93MumkU1xzP9sSLU/?= =?us-ascii?q?V98lqj1DqSzQzT5eZEIUc7larfNZEt2KI/lp0WsUjbHy/2nlv5jLOOe0k65uSl?= =?us-ascii?q?7/7rb7bmq5OGKYN4lwDzPr4zlsG9HOg0Kg0OUHKa+eS42r3j50r5QLBSg/Iqkq?= =?us-ascii?q?nWqpbaKd4dpq62BA9ZzJgv5wqxAjq939QYmGMILFNBeB6dk4fpPFTOLOjiDfij?= =?us-ascii?q?m1SsjCtrx/feM7L9GJrNK3zDnK7lfbZ88E5c1BE+zctf5pJRErEOOuj/Wk73tN?= =?us-ascii?q?zCDx82KRa4w+j9CIY16oRLUmuKBuqdMbjOmV6O/OMmZeeWN6EPvzOoFfEjr9Xu?= =?us-ascii?q?hHlxv1AaNf2i3ZIRLna3Ga48ex6xbn/lg9NHGmAP6FltBNf2gUGPBGYAL025WL?= =?us-ascii?q?gxs2k2?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CpBADTs3dZf6vYVdFdHQYMGRgHhAeBF?= =?us-ascii?q?I5/kFSDDoY0hzqHPiyFGwKDOEIVAQEBAQEBAQEBAQESAQEJCwsIJjGCMyKCOgo?= =?us-ascii?q?DAyMdARseAwwGCAEHNwICIxEBBQEcii8BAxUQpEA/jAqCBAUBHIMJBYNiChknD?= =?us-ascii?q?VaDLQweAgYJAQiDFoVZC4gtgkcwgjEFgS0BAQGeHQgBAYFQhX+MUIJjiD2HGZE?= =?us-ascii?q?WgwszgRUPJoEsUyRwAQdcgg6EMVqJNQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0CpBADTs3dZf6vYVdFdHQYMGRgHhAeBFI5/kFSDDoY0hzq?= =?us-ascii?q?HPiyFGwKDOEIVAQEBAQEBAQEBAQESAQEJCwsIJjGCMyKCOgoDAyMdARseAwwGC?= =?us-ascii?q?AEHNwICIxEBBQEcii8BAxUQpEA/jAqCBAUBHIMJBYNiChknDVaDLQweAgYJAQi?= =?us-ascii?q?DFoVZC4gtgkcwgjEFgS0BAQGeHQgBAYFQhX+MUIJjiD2HGZEWgwszgRUPJoEsU?= =?us-ascii?q?yRwAQdcgg6EMVqJNQEBAQ?= X-IronPort-AV: E=Sophos;i="5.40,412,1496095200"; d="scan'208,217";a="284932714" Received: from mail-qt0-f171.google.com ([209.85.216.171]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 25 Jul 2017 23:12:39 +0200 Received: by mail-qt0-f171.google.com with SMTP id a18so18141415qta.0 for ; Tue, 25 Jul 2017 14:12:39 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:mime-version:subject:date:references:to:in-reply-to:message-id; bh=IWvCVJUqr7Hzk6kKw9seZLU+FERhYi2dtrcVTwMVPHo=; b=uVvG/3ibupewg4mIlaFeUVC4vOZ5ZPV58i1jeYDJ47qadnKLK6A2BHB/9MugPEOhs8 +9wBAUc0594+8ljKcfRrgGC3ajTgSe4XTdn95UeWCsfCvrywvg0qRBhzy54HgFs6t3cT hLy7B0pNDFBskHqfYOeItKNzF92AaRdTvrQ2yVgknXjXqbhoM0/owCoc8iGKtryM+WOn lDDF7gKhlbOzjdlb5+TKiiO72oO3zIdN4UFj/lp+tkXHYGKyOTaCcaH2743kE8KVyTHa 2AnOrgsMHKFYCQcBOIjxHcHnpO832A0PGk3UDxqLHLVrDqcGWnfSvUkLGqphD7ugQ6xy gEAw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:mime-version:subject:date:references:to :in-reply-to:message-id; bh=IWvCVJUqr7Hzk6kKw9seZLU+FERhYi2dtrcVTwMVPHo=; b=Qq6YmxV6l7N/C+Cal6BlDzk2/dy55mClQ2f+0nFjTBkK0wZTh6Kz55UZMJKMG65IdU XsGa+mkuvKago003xPgOnRG7XI8WhNhMF/XDC9cTCi3GcbdPH20B6ywsg8IM+D96xlW4 GLYowoe4GR0v8L6Hyz3ih9vuWOOJ5Np31JIe0Ph4DAKbboEbF74RrRfJQDYI63UMXWsJ d/oGO5ih3aRMRSiYYuJHoC2MjgkiLBB7GvChVn/dPgHbiWRwhO/f7OISe+KVTwDpQSiF Nc+evLQqNUVMHuZl7MXPMlX+PXVsz4Z0zE/c+OBDXRhNEO49bgECYEtFX1+l/scgLIEC 0oGw== X-Gm-Message-State: AIVw111HIatGt+i8dJX9Y4cmPDsNyuzTsgQbJzNJaCxgi0iXTBiRz69v eSqSYjn/yW8qDne36Ic= X-Received: by 10.200.36.196 with SMTP id t4mr3929588qtt.227.1501017158164; Tue, 25 Jul 2017 14:12:38 -0700 (PDT) Received: from chans-imac.wv.cc.cmu.edu (Chans-iMac.wv.cc.cmu.edu. [128.237.194.160]) by smtp.gmail.com with ESMTPSA id 22sm10881882qtq.52.2017.07.25.14.12.36 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 25 Jul 2017 14:12:37 -0700 (PDT) From: Van Chan Ngo Content-Type: multipart/alternative; boundary="Apple-Mail=_13BADE4B-5755-4064-B1BC-2C1D33BA895D" Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Date: Tue, 25 Jul 2017 17:12:36 -0400 References: <20170725203527.dr43f6cjmdqqiq7p@delli7.univ-savoie.fr> <20170725225207.Horde.fgR2ec4koihKCiMWNcWZTRL@webmail.in-berlin.de> To: caml-list@inria.fr In-Reply-To: <20170725225207.Horde.fgR2ec4koihKCiMWNcWZTRL@webmail.in-berlin.de> Message-Id: <6CEE3BE6-5578-4D39-8D43-14781B8FE5F7@gmail.com> X-Mailer: Apple Mail (2.3273) Subject: [Caml-list] Probabilistic Functional Programming --Apple-Mail=_13BADE4B-5755-4064-B1BC-2C1D33BA895D Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 Hi all, The following link gives a simple example of =E2=80=9Cprobabilistic functio= nal programming=E2=80=9D.=20 http://channgo2203.github.io/articles/2017-02/probfind How do you think about the importance of the expected runtime for this clas= s of functional programs? Is an automatic analysis valuable in practice? And any idea about the appli= cations of probabilistic functional programming. Best, -Chan= --Apple-Mail=_13BADE4B-5755-4064-B1BC-2C1D33BA895D Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8 Hi all,

The following link gives a simpl= e example of =E2=80=9Cprobabilistic functional programming=E2=80=9D. <= /div>
http://channgo2203.github.io/= articles/2017-02/probfind

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 prob= abilistic functional programming.

Best,
-Chan
= --Apple-Mail=_13BADE4B-5755-4064-B1BC-2C1D33BA895D--