Skip to main content

coin.tppl

function coinModel​

Model function Data: coinflips: Bool[] Prior: p ~ Beta(2, 2) Posterior: p | coinflips

model function coinModel(coinflips: Bool[]) => Real

function flip​

Conditions the likelihood of the computation on an observed datapoint to come from a particular Bernoulli experiment Parameters: datapoint: Real probability: Real in (0, 1), the probability of True in the Bernoulli experiment Returns: nothing Side-effects: reweighs the computation

function flip(datapoint: Bool, probability: Real)