The NaN of types (in D)

[Paul Backus]

On Sunday, 11 October 2020 at 18:09:28 UTC, Stefan Koch wrote:
>
> Instantiating a template for just one more additional value?
> Having to drag this bool around in ctfe?
> Having to check it every time when you do an is-exp?
>
> that's crazy.
> Especially when I have to choice to define an empty type.

It doesn't have to be a template; it could be a __type*, or 
something else built-in. The point is that code working with 
__type variables shouldn't be *required* to add null checks 
everywhere to account for the possibility of ø. Nullability 
should be opt-in.