The NaN of types (in D)

[Abdulhaq]

On Monday, 12 October 2020 at 16:29:16 UTC, Imperatorn wrote:
> 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.

I'm wondering if brain exploding comments should have the title 
prefixed with [BE]  .....