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