TS has a divergent type 'never', but it even does flow analysis so you can handle being called by untyped code–neat!
miniblog.
Related Posts
Untyped programs don't exist: https://www.williamjbowman.com/blog/2018/01/19/untyped-programs-don-t-exist/
Demonstrates a simple theorem, but has a nuanced notion of types as invariants. It discusses the important questions of when we should check types, allowing escape hatches, and whether type checking should be decidable.
Moving from CL to Racket: https://fare.livejournal.com/188429.html (base language evolution, module system, a good mix of typed and untyped tooling)