Probabilistic Functional Programming

  • Needs a date

  • Needs a location

  • Martin Erwig and Steve Kollmansberger introduced Probabilistic Functional Programming in 2006 (

    PFP is a library and a DSL for doing probabilistic calculations in Haskell. At its heart is a nondeterminism monad similar to the list monad, but augmented with probabilities. The library makes it easy to create probability distributions and put together complex stochastic simulations.

    It suffers from one major drawback, however -- just like with Sets, it seems impossible to construct an efficient Monad instance for probability distributions, which means that the library can be quite inefficient. But in fact, it's *not* impossible to write an efficient monad instance - in fact it's quite easy, just requiring a simple use of GADTs.

    In this talk I'll explain the basics of the PFP library and how to make it more efficient, and hopefully delve into some of the extremely cool code you can write with it. If there's time I might even explain how it's possible to do quantum calculations in PFP...

Join or login to comment.

Want to go?

Join and RSVP

30 going

People in this
Meetup are also in:

Imagine having a community behind you

Get started Learn more

We just grab a coffee and speak French. Some people have been coming every week for months... it creates a kind of warmth to the group.

Rafaël, started French Conversation Group

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy