On Sun, Nov 16, 2008 at 5:06 PM, Peter Hercek <[EMAIL PROTECTED]> 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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
