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:[EMAIL PROTECTED] _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime
