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

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... if you are curious about that. Jacques