2015-08-09から1日間の記事一覧
ラムダ計算とかの例によくある チャーチ数 をScalaで試してみる。 原点を表す Zero 、次を表す Succ を定義しておけば足し算とかできるってやつ。 まずは試し書き import Conrtol.Applicative zero f a = a succ n f a = f $ n f a one = succ zero two = su…
ラムダ計算とかの例によくある チャーチ数 をScalaで試してみる。 原点を表す Zero 、次を表す Succ を定義しておけば足し算とかできるってやつ。 まずは試し書き import Conrtol.Applicative zero f a = a succ n f a = f $ n f a one = succ zero two = su…