On Types: From Assembly to Clojure(blog.cleancoder.com)

http://blog.cleancoder.com/uncle-bob/2021/06/25/OnTypes.html