3 ms·
Having written a handful of probabilistic programs, I don’t think there’s no modularity at all. You can still abstract a complex stochastic process behind a fun
by wcrichton 8y ago
Having written a handful of probabilistic programs, I don’t think there’s no modularity at all. You can still abstract a complex stochastic process behind a function. I think it’s more that certain tasks are necessarily antimodular, eg doing conditional inference can introduce unexpected dependencies between modules, see d-separation [0].
[0] https://www.andrew.cmu.edu/user/scheines/tutor/d-sep.html https://www.andrew.cmu.edu/user/scheines/tutor/d-sep.html
- eli_gottlieb 8y agoWell, as part of the probabilistic programming community, I can at least report that inference programming and model synthesis are problems we're actively working on!
- marmaduke 8y agoOk but we agree. There’s a surface modularity in terms of syntax but anything introducing nonlinear covariance among variables is a death sentence absent reparametrization. The latter strategy is often formulaic and could be automated but the antimodularity remains