The NaN of types (in D)

[Imperatorn]

On Monday, 12 October 2020 at 08:52:22 UTC, Ola Fosheim Grøstad 
wrote:
> On Monday, 12 October 2020 at 06:41:26 UTC, Imperatorn wrote:
>> The empty type cannot be a return type
>
> It can be a return type, but you probably meant that a function 
> with a bottom type as a return value does to return normally.
>
> A function that always returns by exception would have a bottom 
> type as the return type.

Yes. But to be obnoxiously technical, it depends on the 
interpretation of constructive vs classical logic

https://www.google.com/url?sa=t&source=web&cd=&ved=2ahUKEwjg4tKDuq_sAhXu-SoKHTk8B8AQFjAAegQIAxAB&url=https%3A%2F%2Fwww.cl.cam.ac.uk%2F~tgg22%2Fpublications%2Fpopl90.pdf&usg=AOvVaw2-3Zw1cFaj12LRblFfcgvL

But yes.