Bottom Type--Type Theory

[Chris M.]

On Wednesday, 16 January 2019 at 22:32:33 UTC, Walter Bright 
wrote:
> My trouble explaining the immediate value of a bottom type 
> stems from my poor knowledge of type theory. Other languages 
> aren't necessarily good role models here, as few language 
> designers seem to know much about type calculus, either. I was 
> hoping that someone who does understand it would help out!

Get Bartosz in here :#)