search

idontgetoutmuch / lazyppl

MIT License
2 stars 0 forks source link

Incorporating functionality into monad-bayes #2

Open reubenharry opened 2 years ago

reubenharry commented 2 years ago

It's interesting to consider what would be involved in getting lazyppl's functionality into monad-bayes. The reason to think this might be quite straightforward is that monad-bayes is especially built around the idea of having an abstract probability monad which is interpreted in a variety of ways. So we could potentially add Prob and Meas from LazyPPL as interpretations.

In particular, Prob in LazyPPL serves a similar role to SamplerIO in monad-bayes, except it is lazy. Meas is just Weighted Prob, so we'd actually get that for free.

turion commented 2 years ago

Note that the main development probably happens on https://bitbucket.org/lazyppl/lazyppl-src/.