Practical Probabilistic Programming with Monads http://mlg.eng.cam.ac.uk/pub/pdf/SciGhaGor15.pdf 読んだ。 HANSEIとかは知っていたけれど、これは連続的な分布も扱えて、MCMCとかも使えるのでだいぶ良さげか。 推論を Dist a 上の決定的な変換として表せるというのが面白い。
ACM: http://portal.acm.org/citation.cfm?id=2887747.2804317
video: https://www.youtube.com/watch?v=hI0ajVy2xEk