Hi, Am Donnerstag, den 18.01.2007, 16:45 +0000 schrieb David House: > On 18/01/07, Joachim Breitner <[EMAIL PROTECTED]> wrote: > > (.) :: (b -> c) -> (a -> b) -> a -> c > > id :: a -> a > > therefore b = a > > therefore _|_ :: a -> c > > > > (This is mostly rough guesswork, I might be totally wrong) > > That much is right, but remember that just because _|_ has type a -> c > doesn't mean it takes a parameter. Bottom can take any type, and I > don't think _|_ == \x -> _|_.
But if _|_ can take on any type, it can take on a -> b. And in what way does it then differ from \x -> _|_? Greetings, Joachim -- Joachim Breitner e-Mail: [EMAIL PROTECTED] Homepage: http://www.joachim-breitner.de ICQ#: 74513189 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
