Hello Futari, Saturday, July 25, 2009, 10:55:34 AM, you wrote:
> data List a = Nil | Cons a (List a) this definition says that Nil is a valid list. also it says that Cons 'a' (xxx) is a valid list as long as xxx is a valid list, so Cons 'c' (Nil) would be a valid list too. continuing to use second rule we may get the following: Cons 'a' (Cons 'b' (Cons 'c' (Nil))) -- Best regards, Bulat mailto:[email protected] _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
