Hacker News Reader

I'm giving it a look but I can't really figure out much about the type system and how does it compare to TypeScript.

- 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`).

Technically you can yes, but the language doesn't support it out of the box, you need to jump through hoops to make it work.

But you are right, I'll change TypeScript to say it's partially supported.

Reply on news.ycombinator.com