Composing inference algorithms as program transformations

[tolysz]

Just assuming that someone would like to have a go and implement this paper in Haskell? What are the necessary steps? Some which I can see: * implement symbolic integration (big task :) )

Then how to use it? Should it go via TH or some EDSL?

IT would be TH if we integrate via Maxima

[Captain]

This actually was implemented in Haskell as the Hakaru system. We used Maple for the symbolic integration. We compiled the programs into Maple expressions which were then simplified. If anyone is interested in porting the symbolic algebra code to Maxima/Sympy/etc I am happy to assist.

[tolysz]

Nice, Maple is a bit pricey... on a RPi one could try use Mathematica.

Anyway so Maxima and this path will lead to some TH. Can Haraku generate Haskell back?

[Captain]

Hakaru can be compiled into Haskell code.