関数型プログラミング言語Haskell Part25
■ このスレッドは過去ログ倉庫に格納されています
0216デフォルトの名無しさん
2014/03/12(水) 06:03:49.53ID:UBsjXNImid :: Int -> Int
と
(+0) :: Int -> Int
が同じ射か、と聞いてるんじゃないの？
Hask圏では、二つの関数が外延的に同じなら同じ射とみなすので、
(id :: Int -> Int)と((+0) :: Int -> Int)は同じ射
■ このスレッドは過去ログ倉庫に格納されています