Probabilistic programming is a way to classify (Y/N) or maybe assess some risk in the form of likelihood of outcome (%).

This can be made functional and monadic sadly.

The Mathematics 🧑🏾‍🏫

Independent Events

Probability given another probability

                        *p(E|F)* can be spoken out as the probability of E **given** F.

Example of both concepts

Bayes Theorem

Example use of this

Bernoulli Trial

The mathematical rules shown above is basically what we will model using monads that carry a state of outcomes.