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!)
Thanks for pointing those libraries out. I am much more familiar with Scala so those were very helpful for me.