Deeply typed programming languages(typeinference.com)

http://typeinference.com/languages/2017/01/12/deeply-typed-programming-languages.html