DIP 1017--Add Bottom Type--Formal Assessment

H. S. Teoh hsteoh at quickfur.ath.cx
Wed Jan 30 16:12:12 UTC 2019

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.


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

More information about the Digitalmars-d-announce mailing list