Good point, though I wouldn't say any of those languages represent new developments (Julia would be a good counterexample though). My understanding is that many

Good point, though I wouldn't say any of those languages represent new developments (Julia would be a good counterexample though). My understanding is that many of the new probabilistic programming languages are statically typed (hakaru, figaro, BLOG, etc.), though I'm not an expert in this field so I can't speculate on if that represents a coming tide change or not.