ADT views

[Bulat Ziganshin]

Hello Arie,

Thursday, February 1, 2007, 2:08:33 PM, you wrote:

> The ability to reason about your program is vital in about every part of
> the programming cycle, and is one of the things that make Haskell work.

when i say what i don't use reasoning, you can trust me :)

> Another of those things is abstraction of data representation, you're
> right about that. But I think there is no conflict between those goals.

right now we are discussing such conflict, not be? :)


-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com