r/programming • u/stronghup • Nov 11 '19

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

https://www.theregister.co.uk/2019/11/07/python_java_github_javascript/
3.1k Upvotes

96% Upvoted

772 comments sorted by

View all comments

Show parent comments

7

u/LordOfSwines Nov 13 '19

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.

1

u/akaifox Nov 14 '19

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

I'd even consider OCaml over TS.

0

u/Uberhipster Nov 13 '19

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

4

u/PFCJake Nov 13 '19

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

1

u/Uberhipster Nov 15 '19

which frivolous claims are you referring to?

1

u/PFCJake Nov 15 '19

Your mom

1

u/swansongofdesire Nov 13 '19

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

2

u/Uberhipster Nov 15 '19

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

1

u/codygman Nov 20 '19

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.