On Tue, Apr 11, 2006 at 12:15:57PM +0100, Simon Peyton-Jones wrote:
> | well, there is a difference there in that 'seq' is unimplementable in
> | haskell, so the design comitee had freedom to implement it however
> they
> | wanted.
>
> class Eval a where
> seq :: a -> b -> b
>
> instance Eval (a,b) where
> seq (_,_) b = b
>
> instance Eval [a] where
> seq [] b = b
> seq (_:_) b = b
instance Eval (a -> b) where
....
?
John
--
John Meacham - ⑆repetae.net⑆john⑈
_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://haskell.org/mailman/listinfo/haskell-prime
