MontyHall

Contents

• Playing the game
• Alternative modeling

Synopsis

• data Door
  • = A
  • | B
  • | C
• doors :: [Door]
• data State = Doors {
  • prize :: Door
  • chosen :: Door
  • opened :: Door
  }
• start :: State
• hide :: Trans State
• choose :: Trans State
• open :: Trans State
• type Strategy = Trans State
• switch :: Strategy
• stay :: Strategy
• game :: Strategy -> Trans State
• data Outcome
  • = Win
  • | Lose
• result :: State -> Outcome
• eval :: Strategy -> Dist Outcome
• simEval :: Int -> Strategy -> RDist Outcome
• firstChoice :: Dist Outcome
• switch' :: Trans Outcome

Documentation

Playing the game

Alternative modeling