Skip to content
Branch: master
Find file History
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
..
Failed to load latest commit information.
data
output
LICENSE
Makefile
README.md
absolute_data.dat
plot_example.in
plot_importance_regression.in
plot_prior_regression.in
plot_silly_regression.in
plot_smc_regression.in
spls-eff-bayes-demo.eff
sprinklers.eff

README.md

Context

Talk given at the Scottish Programming Languages Seminar held at the University of St. Andrews on 13 March ( https://eb.host.cs.st-andrews.ac.uk/SPLS-Feb19/ ).

Title:

Eff-Bayes: modular implementations of approximate Bayesian inference with effect handlers

Abstract:

I will describe work-in-progress, implementing a library for Bayesian inference algorithms for statistical probabilistic programming in the programming language Eff using algebraic effects and handlers.

Joint work with Matija Pretnar, Žiga Lukšič, Oliver Goldstein, and Adam Ścibior.

Installation

You will need a version of Eff with basic support for file output:

git clone https://github.com/ohad/eff.git
cd eff
git checkout eff-spls-2019

and then build this eff:

opam reinstall .

Usage

Best viewed in an emacs editor split three-ways:

 +------------------------------------------------+-------------------
 |                                                |                  |
 |                                                |                  |
 |   spls-eff-bayes-demo.eff                      |  <shell2>        |
 |                                                |                  |
 |                                                |                  |
 |                                                |                  |
 |                                                |                  |
 |                                                |                  |
 |                                                |                  |
 |------------------------------------------------+                  |
 |    <<shell1>                                   |                  |
 +-------------------------------------------------------------------+

resised so that the .eff buffer's top and bottom rows contain the asterisks.

Is you 'I-search' for '(**********************************' and hit return, you will be able to or 'I-search' and 'I-search backward' for the next/previous slide.

In <> navigate to the current directory. In <> 'make eff' which will load the definitions into eff Start the slides In slides that call the 'plot' function, use 'make' to generate the appropriate plot, in this order:

make plot
make prior_regression
make silly_regression
make importance_regression
make smc_regression

If you have any questions, email ohad.kammar@ed.ac.uk

Enjoy!

You can’t perform that action at this time.