About switch case statements...

[Andrei Alexandrescu]

Ellery Newcomer wrote:
> Andrei Alexandrescu wrote:
>> Ellery Newcomer wrote:
>>> KennyTM~ wrote:
>>>> throw ...;
>>>> assert(...);
>>>>
>>> you can call functions which do these...
>> ... which is where the "none"/"bottom" type comes into play!
>>
>> Andrei
> 
> What what?

http://en.wikipedia.org/wiki/Bottom_type
http://www.cs.washington.edu/research/projects/cecil/www/Release/doc-cecil-stdlib/node4.html

I gave a talk about similar stuff once but I don't know where it is. I 
also have 70% of an article on it written (and with a funny introduction 
to boot) but I couldn't find the time * interest to finish.


Andrei