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

Jacques Carette carette at mcmaster.ca
Sun Jun 18 13:57:19 UTC 2017

While we're mentioning Haskell-embedded languages for probabilistic 
programming, there is yet another, Hakaru.

github: https://github.com/hakaru-dev/hakaru
docs: https://hakaru-dev.github.io/
hackage: https://hackage.haskell.org/package/hakaru-0.4.0

It can be used either embedded or via an external syntax.  It can act as 
a sampler, but also do code generation (to Haskell, to C, more coming), 
simplification (via Maple if it is installed) and disintegration (aka 

It uses quite a number of advanced Haskell features (though works in 7.8 
onwards) to insure safety of the embedded language.  See 
if you are curious about that.


More information about the Haskell-Cafe mailing list