http://golem.ph.utexas.edu/category/2007/02/category_theoretic_probability.html

among many other interesting things:

"Bayesianism, seen as an extension of logic, naturally interpolates from the statistical setting all the way through to pure software engineering/computer programming. "