[Haskell-cafe] Article review: Category Theory

[Joachim Breitner]

Hi,

Am Donnerstag, den 18.01.2007, 16:45 +0000 schrieb David House:
> On 18/01/07, Joachim Breitner <mail at joachim-breitner.de> 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: mail at joachim-breitner.de
  Homepage: http://www.joachim-breitner.de
  ICQ#: 74513189