Bottom Type--Type Theory

[Walter Bright]

On 1/16/2019 2:59 PM, Dukc wrote:
> Isn't `void` in fact analogous to the TOP type? With a bit additional features, 
> it could be used as one, as I understand it.

I think H.S. Teoh's reply helps with that. 'void' is symptomatic of poor design 
inherited from C along with my non-CS background.

My interest in a bottom type comes from wanting a sounder mathematical basis for 
types in D, but sadly nobody else seems interested, and this DIP is pretty much DOA.