Probabilistic programming is the natural extension of this line of development. It's an active area of research. Two such languages implemented in Scala are Figaro and Factorie. Not sure about Haskell.
(Also, weird reading a comment I made on that blog 8 years ago!)
(Also, weird reading a comment I made on that blog 8 years ago!)