Re: [Haskell-cafe] Re: Type question in instance of a class

On Sun, Nov 16, 2008 at 5:06 PM, Peter Hercek wrote:

... and the only value the function can return is bottom. Is there any type system which would have more than one value which inhabits all types?

Well something like lazy C# might; i.e. every value has a _|_ (nontermination) and null (termination but undefined). Luke