「Scalaにおける数学」について、とその補足 #scala_ks - Qiita10/8日(土曜日) Scala 関西があり、そこで「Scalaで学ぶ数学」で登壇した。 そこで、話した感想と、話し切れなかったことについて記事にしておく。 1 + 1 = 2をScalaの型で表現する 話した内容としては、まず、Scalaで1 + 1 = 2の記述をScalaの型によって表現することである。 その後もう、「50%の勝率でn試合すると(n/2)勝する確率」についてを、少しだけしゃべったが時間が無いのでさらっと流した。(これについては後述しておく) 1 + 1 = 2で話たコードの全体だけ記しておく。 object Peano{ sealed class Number sealed class Zero extends Number sealed class Succ[N <: Number] extends Number type One = Succ[Zero] type
