Isn’t this a reskin of Stephen Diehl’s earlier set of blog posts? Or is this a c... | Hacker News

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

login

kornish on March 15, 2019 | parent | context | favorite | on: Writing a simple evaluator and type-checker in Has...

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

Drup on March 15, 2019 [–]

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

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