In this post on his personal blog, Daniel Fedorin examines Chapel’s notion of runtime types by comparing it to related concepts in other languages.