をやってみるとどうでしょうか、という話を昨日メッセでちょびっと話したので、どうでしょうか? 私が少なくとも3/22までは枚方に居るので、取りあえず大阪のどこかで食べ会(法律的な意味での飲酒が出来ないのでまぁ)をしつつ、大阪さん(あずまんが大王の！)…

data Term a = Term a deriving Show my_zero :: Term Int my_zero = Term 0 my_succ :: Term Int -> Term Int my_succ (Term a) = Term (a + 1) my_iszero :: Term Int -> Term Bool my_iszero (Term a) = Term (a == 0) eval :: Term t -> t eval (Term x)…

f1 :: Int-> (Int -> Int) f1 0 = id f1 1 = (\x -> x + 1) :t f1 0 -> f1 0 :: Int -> Int f2 :: Int -> (a -> a) f2 0 = id f2 1 = (\x -> x + 1) f2の定義にはこける f2の返値が(a -> a)というなんの束縛も無い筈なのに、(f2 1)の引数であるxには操作とし…