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
