← Back to context

Comment by epolanski

4 months ago

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.

3 comments

epolanski

Reply
gdotdesign  4 months ago

- 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 :)

  • epolanski  4 months ago

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

    • gdotdesign  4 months ago

      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.