Skip to content

Instantly share code, notes, and snippets.

@KKostya

KKostya/valid_strategy.re

Last active October 21, 2018 19:18
Show Gist options
  • Save KKostya/bddc771c017eba6d304c66b0df45298e to your computer and use it in GitHub Desktop.
Save KKostya/bddc771c017eba6d304c66b0df45298e to your computer and use it in GitHub Desktop.
Download ZIP
Raw
valid_strategy.re
let valid_strategy : (door => choice => real) => bool =
(strategy) => Real.({
(strategy(DoorA,Stay) >= 0.0) && (strategy(DoorA,Swap) >= 0.0) &&
(strategy(DoorB,Stay) >= 0.0) && (strategy(DoorB,Swap) >= 0.0) &&
(strategy(DoorC,Stay) >= 0.0) && (strategy(DoorC,Swap) >= 0.0) &&
( strategy(DoorA,Stay) + strategy(DoorA,Swap) +
strategy(DoorB,Stay) + strategy(DoorB,Swap) +
strategy(DoorC,Stay) + strategy(DoorC,Swap) == 1.0)
});
valid_strategy(random_then_stay_strategy)
Raw
~output
val valid_strategy : (door -> choice -> real) -> bool = <fun>
- : bool = true
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment