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

[Jacques Carette]

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 
conditioning).

It uses quite a number of advanced Haskell features (though works in 7.8 
onwards) to insure safety of the embedded language.  See 
https://hackage.haskell.org/package/hakaru-0.4.0/docs/Language-Hakaru-Syntax-ABT.html 
if you are curious about that.

Jacques