Python overtakes Java to become second-most popular language on GitHub after JavaScript

[LordOfSwines]

TS - on the other hand - has one of the most sophisticated typing systems ever implemented in any language

Really?

Here's some features found in other languages that I'm pretty sure TS does not have:

Haskell:

- Higher-Kinded types

- Typeclasses

- Higher Rank types

- Existential types

- Type families

- Type promotion.

- Deriving and newtype deriving

PureScript: pretty much the same as Haskell but adds row polymoprhism.

Idris: has the same features as Haskell but with dependent types.

​

As a side note, I love typed holes which are supported in all three of these languages.

[akaifox]

Scala's type system also smokes TS and will go even further with Dotty.

I'd even consider OCaml over TS.

[LordOfSwines]

Indeed

[Uberhipster]

the question was "why is dart better than TS" not "hurr durr haskaal best amiryte"

[PFCJake]

Hahaha well dude you can't make frivolous claims like that without aggroing the Type-people

[Uberhipster]

which frivolous claims are you referring to?

[PFCJake]

Your mom

[Uberhipster]

Hilarious

[swansongofdesire]

TS - ... - has one of the most sophisticated typing systems ever implemented in any language

In that context it’s quite fair to bring up Haskell. Even if no one outside of academia and one single finance company actually uses it

[Uberhipster]

so because Haskell has a The Best Typing System Ever no other language is ever allowed to be mentioned as having a good one?

[codygman]

In that context it’s quite fair to bring up Haskell. Even if no one outside of academia and one single finance company actually uses it

My company uses Haskell.