About switch case statements...

[Ellery Newcomer]

Andrei Alexandrescu wrote:
> 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

So a function that always throws should have a result type (maximal
type?) of bottom type?