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

David Menendez dave at zednenem.com
Sun Nov 16 19:20:19 EST 2008


On Sun, Nov 16, 2008 at 7:09 PM, Luke Palmer <lrpalmer at gmail.com> wrote:
> On Sun, Nov 16, 2008 at 5:06 PM, Peter Hercek <phercek at gmail.com> 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 <dave at zednenem.com>
<http://www.eyrie.org/~zednenem/>


More information about the Haskell-Cafe mailing list