Hacker News Reader

Isn’t this a reskin of Stephen Diehl’s earlier set of blog posts? Or is this a common PL example? http://dev.stephendiehl.com/fun/004_type_systems.html

It's untyped then simply typed basic imperative language, which is more or less the first few courses of programming language theory 101.