On Mon, May 28, 2007 at 11:43:47AM +0100, Andrew Coppin wrote: > - Chapter 2 is... puzzling. Personally I've never seen the point of > trying to check a program against a specification. If you find a > mismatch then which thing is wrong - the program, or the spec?
Knowing that one of them is wrong is already a very useful information, don't you think? > - Chapter 12 is incomprehensible (to me at least). "Fun with Phantom > Types" I've read it several times, and I still couldn't tell you what a > phantom type is... Ironically, this chapter contains the following (at least the version at http://www.informatik.uni-bonn.de/~ralf/publications/With.pdf): Of course, whenever you add a new feature to a language, you should throw out an existing one (especially if the language at hand is named after a logician). Now, for this chapter we abandon type classes - judge for yourself how well we get along without Haskell's most beloved feature. You've found a language extension soulmate! ;-) BTW, I really liked Ralf's chapter. > There are some bits that are sort-of interesting but not really to do > with anything I'm passionate about, and then there are bits that I > can't comprehend... Passionate... perhaps this is the root of the problem? Different people are passionate about different things. Best regards Tomek _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
