What is the difference between never and void in typescript?

Question

I have read this, but it is unclear what would be the difference between \'never\' and \'void\' type?

Answer 1

Also, for more a theorical reason, with --strictNullChecks new flag, TypeScript needed a new bottom type (since null and undefined are no more). The type never is such a bottom type and make TypeScript's type system more consistent.