25 Jul
2009
25 Jul
'09
3:16 a.m.
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:Bulat.Ziganshin@gmail.com