General Frameworks for Bayesian Theory, Modeling, and Computation