I would argue that most of the complexity in low-level languages comes from herding references to memory locations (pointers and whatnot). There’s no reason Ty

I would argue that most of the complexity in low-level languages comes from herding references to memory locations (pointers and whatnot). There’s no reason TypeScript couldn’t be built on top of manual memory management and the concept of raw access to memory locations but I suspect it would start looking a lot like C with just a different syntax for type declarations.