A Simple Language With Flow Typing
Summary
This article provides an overview of lang_narrow, a small language with flow typing over records and union types. It discusses motivation, union types vs ADTs, and the concept of Narrowed types, plus a runtime C implementation using tagged values and links to the GitHub repo and an online playground.