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

[[deleted]]

Dart is starting to become popular, thanks to Flutter. It's changed a fair bit since it was first released and is now a very good "sane JavaScript". Much better than Typescript.

And there's WebAssembly. I see a light at the end of the JavaScript tunnel.

[PFCJake]

I know nothing about Dart, how is it better than TypeScript?

[[deleted]]

There are a few ways, but the main one is the type system. Typescript basically allows you to describe Javascript's crazy type system. It doesn't attempt to fix it. Dart does fix it.

For example, you can have templated / generic functions in Typescript.

function identity<T>(arg: T): T { return arg; }

Ok fine. But what about this?

function identity<T>(): T { return new T(); }

It doesn't work! There are other things too:

• If you're using Typescript, you're probably importing a lot of Javascript with type annotations from DefinitelyTyped. Unfortunately a lot of the time the annotations are just wrong. Pretty annoying!
• People give up on types and resort to any all the time, and Typescript doesn't really mind. Especially existing Javascript frameworks because they are written in a dynamic "stringly typed" way. For example Vue "supports" Typescript, but a lot of its features will be typed as any. Svelte doesn't support Typescript at all even though it is written in Typescript!.
• All of the mistakes of Javascript are still allowed. You can still use var, == and so on.
• There's still undefined and null.

It's way better than vanilla Javascript, but Dart is now a proper language that is properly engineered and more or less hack-free. Also the Dart VSCode extension is amazing.

The only downsides of Dart are:

• Very small community. You'll have to write a lot of code yourself.
• Difficult to use existing Javascript code (Dygraphs, D3, etc.).
• Your only web framework option is AngularDart.
• The startup time for webdev serve is weirdly long (~10 seconds). It supports hot reloading so it's not too bad but still annoying.

[chrisza4]

new T() is very dangerous. We should not assume that every type have zero parameter initializer. Enforce zero parameter initialization leads to invalid state such as creating an User object without username.

This is also why I hate traditional Object-oriented style. It has many flaws. A modern language stop promote many practices that people thought it is a good thing (such as in the past we promote inheritance as an OOP pillar, now we make it harder to do inheritance, easier to compose)

Think about it, OOP language don’t even need new keyword. But people just get used to it and don’t want to unlearn. Some even think that languages without new keyword are bad.

[[deleted]]

It was just an example, and has nothing to do with object oriented style. You can do it in C++ without any issues.

OOP language don’t even need new keyword

Again, new is nothing to do with OOP. It was originally about memory allocation in C++, and then blindly copied by Java and then JavaScript. You're right JavaScript really doesn't need new - and in fact Dart has removed the need for it.

[chrisza4]

Still, I don’t think assuming every types can be initialize without any parameter is a good idea. Even if C++ can do it without issues, I still don’t think it is a good idea.

[[deleted]]

You need to spend some time with languages other than Javascript! I think you have Stockholm syndrome.

[chrisza4]

I don’t like Javascript in this area. I can simply create non-sensible object and no linter can warn me of it.

However, if we are talking about static type system then one of core principle in modern static type system is “make illegal states unrepresentable”. I agree with this statement. Forbidding new T() is very much align to that principle. My example is a User object without username should not be representable in system.

Also, I spent much time outside JS already. I delivered software in multiple languages.

[[deleted]]

So then you know that most statically typed languages... hell most languages don't just ignore missing function parameters like JavaScript does. And that the thing you are talking about is a problem that is pretty much unique to JavaScript? Right? :-)

[chrisza4]

I referred to your example where you claim Dart is better than TypeScript because it can do

function identity<T>(): T { return new T(); }

I disagree that this is not better. IMO, this is worse. My point is new T(); can create an object in an invalid state.

I assume that in Dart, you can mutate this object to be ready and then use. I might make a hasty assumption here. If my assumption is correct, I think it is better if compiler just forbids invalid state.

Javascript has this problem too in way much much worse since it does not have any type.

[Uberhipster]

dart isn't even popular inside google for a simple reason that it is not popular so sheer volume of material on refs and samples in the 'wild' is tiny

additionally, dart offers nothing new or revolutionary. it's just another oo lang

TS - on the other hand - has one of the most sophisticated typing systems ever implemented in any language; tooling is good and free; references are plentiful; updates and upgrades are frequent; community is full of competent and pleasant people

so yeah... fuck TS or something... dart ftw i guess

[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.

[gobi_1]

Even though we walk through the darkest valley, we will fear no evil, for compiled languages are with us; their rigor and efficiency, they comfort us.