From: Nobuo Yamashita <nobsun / sampou.org>
Subject: [haskell-jp:241] Re: 低レベルプログラミングとstricttypesystem
Date: Fri, 31 Oct 2003 13:22:14 +0900 (JST)

> class FooArg a where
>   foo :: a -> p
> 
> instance FooArg (X,Y) where
>   foo (x,y) = ...             -- 見かけ上2引数の foo
> 
> と最初に定義していたところに
> 
> instance FooArg (X,Y,Z) where
>   foo (x,y,z) = ...           -- 見かけ上3引数の foo
> 
> を加えるだけでOKです。私は Haskell では、この方法は使わないなぁ。

ふぇーん、何か間違ってるのかな。

\begin{code}
class FooArg a where
  foo :: a -> p

instance FooArg (Int, Int) where
  foo (x,y) = x + y

instance FooArg (Int, Int, Int) where
  foo (x,y,z) = x + y + z
\end{code}

Hugs session for:
/usr/share/hugs/lib/Prelude.hs
Type :? for help
Prelude> :l t.hs
ERROR "t.hs":4 - Syntax error in instance head (variable expected)


--
ML: haskell-jp / quickml.com
使い方: http://QuickML.com/