DIP 1017--Add Bottom Type--Formal Assessment

[H. S. Teoh]

On Wed, Jan 30, 2019 at 02:05:37PM +0000, Mike Parker via Digitalmars-d-announce wrote:
> Given the nature of the feedback in both review rounds this DIP has
> gone through, Walter has decided to reject his own DIP. He still
> believes there is a benefit to adding a bottom type to the language,
> but this proposal is not the way to go about it. He hopes to revisit
> the issue in the future.
[...]

Hopefully next time the help of more qualified people in type theory,
like Timon, would be solicited, so that a more consistent,
logically-sound solution would be proposed.


T

-- 
Life is too short to run proprietary software. -- Bdale Garbee