Bottom Type--Type Theory

[Nicholas Wilson]

On Thursday, 17 January 2019 at 03:30:08 UTC, Meta wrote:
> IMO, this tone is uncalled for. Let's all try to be civil and 
> criticize the DIP, not the person.

That is a criticism of the DIP and the way the DIP has been 
handled.

The progression of this DIP throughout the stages of review, in 
spite of a lack of due diligence of research and response to 
criticisms, ignores the opportunity cost of reviewing higher 
impact and review ready DIPs, like the copy constructor or 
template constraint DIPs or any other DIP that is _actually 
ready_ for review.