Fully Bayesian Computing
stat.columbia.edu
stat.columbia.edu
A Haskell embedding seems easier than adding new syntax to R, though you don't get all the nice algorithms that are already implemented in R.
You can easily extend the PFP framework to handle Bayes rule. I experimented with this a few years back, and was pleasantly surprised how natural it was:
http://www.randomhacks.net/articles/2007/02/22/bayes-rule-an...
(Or, for those who love details, a PDF: http://www.randomhacks.net/darcs/probability-monads/probabil... )
Butt otherwise, remember that this is not Reddit. Kindly keep comments like this to a minimum.