[Haskell-cafe] Probabilistic programming in Haskell with bali-phy
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.
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