Prelude This post will talk about why I’ve decided to make a new typed ML language based on the TypeScript ecosystem. It’s very opinion based, so you might not agree with all I write, but that’s okay. The language is not ready for general use yet, it has several bugs, but I thought I’d share some of my motivation. Writing it down and making it public also gives myself a good reason to keep working on it.