1 Feb
2007
1 Feb
'07
11:47 a.m.
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@gmail.com