• Mike Parker (6/6) Jan 30 2019 Given the nature of the feedback in both review rounds this DIP
• H. S. Teoh (8/13) Jan 30 2019 [...]
• Johannes Loher (5/12) Jan 30 2019 I believe this is a good decision and the proper way forward.
• Paolo Invernizzi (9/21) Jan 30 2019 +1

Mike Parker <aldacron gmail.com> writes:

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.

Thanks to everyone who provided feedback.

"H. S. Teoh" <hsteoh quickfur.ath.cx> writes:

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

Johannes Loher <johannesloher fg4f.de> writes:

Am 30.01.19 um 15:05 schrieb Mike Parker:
 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.
 
 Thanks to everyone who provided feedback.

I believe this is a good decision and the proper way forward.

I also think that there is indeed a benefit in adding a bootom type to
the language so I'd be happy to help with a new attempt as much my
limited knowledge of type theroy permits.

Paolo Invernizzi <paolo.invernizzi gmail.com> writes:

On Wednesday, 30 January 2019 at 20:50:42 UTC, Johannes Loher 
wrote:
 Am 30.01.19 um 15:05 schrieb Mike Parker:
 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.
 
 Thanks to everyone who provided feedback.

 I believe this is a good decision and the proper way forward.

 I also think that there is indeed a benefit in adding a bootom 
 type to the language so I'd be happy to help with a new attempt 
 as much my limited knowledge of type theory permits.

+1

Well done Walter, for the professionalism in handling the 
decision, and for the bravery in trying to push something he 
believe useful for the language, also if he is not as competent 
as Timon in this field.

Kudos to you, for the example given, and for the temperance!

-- P