haskell-ja > Archives

2011/10/30 09:42:23 UTCmaoe

関数プログラミングの楽しみの練習問題12.9で躓いています。

RFun :: Type a -> Type b -> Type (a -> b)

を追加して

tequal (RFun ra1 rb1)  (RFun ra2 rb2)  = do f <- tequal ra1 ra2 -- f :: a1 -> a2
                                            g <- tequal rb1 rb2 -- g :: b1 -> b2
                                            return undefined    -- ? :: (a1 -> b1) -> a2 -> b2

こういう分岐を追加しようと思ったのですが、この型を満たす値を書くのはできない気がしています。私はどこで道を間違えたのでしょうか？

<< 2011/10/29

Back to the chat room

2011/10/31 >>

haskell-ja > Archives > 2011/10/30