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