From: Van Chan Ngo <chan.ngo2203@gmail.com>
To: caml-list@inria.fr
Subject: [Caml-list] Probabilistic Functional Programming
Date: Tue, 25 Jul 2017 17:12:36 -0400 [thread overview]
Message-ID: <6CEE3BE6-5578-4D39-8D43-14781B8FE5F7@gmail.com> (raw)
In-Reply-To: <20170725225207.Horde.fgR2ec4koihKCiMWNcWZTRL@webmail.in-berlin.de>
[-- Attachment #1: Type: text/plain, Size: 458 bytes --]
Hi all,
The following link gives a simple example of “probabilistic functional programming”.
http://channgo2203.github.io/articles/2017-02/probfind <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 probabilistic functional programming.
Best,
-Chan
[-- Attachment #2: Type: text/html, Size: 915 bytes --]
next prev parent reply other threads:[~2017-07-25 21:12 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-07-25 20:35 [Caml-list] A student feedback on OCaml Christophe Raffalli
2017-07-25 20:49 ` Viet Le
2017-07-25 20:52 ` Oliver Bandel
2017-07-25 21:12 ` Van Chan Ngo [this message]
2017-07-26 0:06 ` [Caml-list] Probabilistic Functional Programming Francois BERENGER
2017-07-26 14:58 ` Van Chan Ngo
2017-07-28 15:47 ` Oleg
2017-07-26 10:36 ` [Caml-list] A student feedback on OCaml Soegtrop, Michael
2017-07-27 16:48 ` Michael C Vanier
2017-07-27 17:34 ` Gary Trakhman
2017-07-27 18:47 ` Damien Guichard
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=6CEE3BE6-5578-4D39-8D43-14781B8FE5F7@gmail.com \
--to=chan.ngo2203@gmail.com \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).