ADT views

Bulat Ziganshin bulat.ziganshin at
Thu Feb 1 06:47:25 EST 2007

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

More information about the Haskell-prime mailing list