Absurd Rust? Never! A blog post on bottom types, non-terminating functions, Infallible, and the never type (!), with a decent sprinkling of Haskell too. 
FP Complete
How to use Rust’s never type (!) to write cleaner async code
Rust's never type (!) is uninhabited, meaning it contains no values. This can be used to represent the impossible, like code branches that can't ha...
