Mathematica itself and Wolfram | Alpha have quite substantial code-bases written in Mathematica (now the Wolfram Language). Also, there was an article recently

Mathematica itself and Wolfram | Alpha have quite substantial code-bases written in Mathematica (now the Wolfram Language). Also, there was an article recently about probabilistic programming with WL: http://www.mathematica-journal.com/data/uploads/2013/11/Cassel.pdf http://www.mathematica-journal.com/data/uploads/2013/11/Cass... My guess is that WL would be an interesting and powerful starting point for probabilistic programming at some point down the line (if not already).