[Haskell-cafe] Article review: Category Theory
dmhouse at gmail.com
Thu Jan 18 12:05:28 EST 2007
On 18/01/07, Joachim Breitner <mail at joachim-breitner.de> wrote:
> But if _|_ can take on any type, it can take on a -> b. And in what way
> does it then differ from \x -> _|_?
_|_ is bottom.
\x -> _|_ is a function that takes a value and returns bottom.
You can tell them apart, using seq, as Neil showed, but apart from
that I guess they're unique. If you had:
f = undefined
g = \x -> undefined
Then f x = g x for all x.
-David House, dmhouse at gmail.com
More information about the Haskell-Cafe