[Haskell-cafe] Probabilistic programming in Haskell with bali-phy

Oleg oleg at okmij.org
Thu Jun 15 11:29:13 UTC 2017

It seems worth mentioning then another Haskell embedded language for
probabilistic programming


It also lets us write probabilistic models as Haskell programs. It
supports both discrete and continuous distributions, conditioning, as
well as branching (mixing models). It takes care to statically
preclude senseless models (forcing conditioning only on external
data). The 'Model' is *not* a monad. Not everything can be or should
be a monad. Hakaru10 also takes care to avoid the problems that are
frequent in implementations of Wingate algorithms. It also uses
incremental evaluation.

As to semantic problems of probabilistic programming languages, 
shows a couple of them.

More information about the Haskell-Cafe mailing list