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

Luke Palmer lrpalmer at gmail.com
Sun Nov 16 19:09:24 EST 2008


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).

Luke


More information about the Haskell-Cafe mailing list