18 Jan
2007
18 Jan
'07
12:05 p.m.
On 18/01/07, Joachim Breitner
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@gmail.com