alt Hacker News- The type system documentation is here: https://mint-lang.com/reference/types/type-system - in short it's a functional language at heart with a Hindley–Milner type system
- TypeScript syntax comparison is here: https://mint-lang.com/from/typescript
- The feature matrix which compares languages features is here: https://mint-lang.com/feature-matrix
I hope you find those helpful :)
Thank you, wonder why I couldn't find them.
edit: by the way TypeScript supports both ADTs (through tagged unions) as well as exhausting pattern matching (on tagged unions, but an alternative can be using `instanceof`).