関数型プログラミング言語Haskell Part30 [無断転載禁止]©2ch.net

[533 デフォルトの名無しさん 2017/05/25(木) 13:06:15.57 ID:jD8c7u6v]

昔のHaskellの(1+n)形式の引数復活しないかな。。。
代数的データ型で自然数作ったりの時、普通の関数だとこう。みたいな整合性が取れないのがね。。。

type Nat = Succ(Nat) | Zero

dec (succ(n)) = n

dec(Succ(Zero))
>Zero

dec (1 + n) = n
dec 1
>0