Kata Playground

类型化决策，校准过的概率。