Hacker News new | past | comments | ask | show | jobs | submit login

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.

Applications are open for YC Summer 2019

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact