On Sun, Nov 16, 2008 at 7:09 PM, Luke Palmer <[EMAIL PROTECTED]> wrote: > 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).
For that matter, Control.Exception allows you to distinguish exceptional values from each other. -- Dave Menendez <[EMAIL PROTECTED]> <http://www.eyrie.org/~zednenem/> _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
