Affine Monads and Lazy Structures for Bayesian Programming

Swaraj Dash, Younesse Kaddar, Hugo Paquet +1

We show that streams and lazy data structures are a natural idiom for programming with infinite-dimensional Bayesian methods such as Poisson processes, Gaussian processes, jump pro…