I occasionally use probabilistic programming systems, and find this project fascinating, but I've been wondering for a while what the vision is.
Is it meant mainly as a research project/proof of concept (seems I've seen elsewhere that it's funded by the DARPA PPAML project), or is it intended to become a commonly used piece of software with a community like pymc3 and stan?