[papa0101]

That was google's original plan with Dart.

[zogrodea]

I believe Dart was originally gradually typed, and then abandoned the gradual typing for strict-typing-by-default? That doesn't quite sound properly type-safe to me although still safer than how Javascript is by default.

My only reference is a memory of this talk by Richard Feldman but I might be wrong or misremembering. https://www.youtube.com/watch?v=Tml94je2edk

[igouy]

Released 22 February 2018

Dart 2.0 implemented a new sound type system

Dart's type system, like the type systems in Java and C#, is sound.

https://dart.dev/language/type-system

[Yoric]

Is Dart sound these days? When I tried it, it was pretty easy to trigger type errors at runtime.

[igouy]

These days Dart — considers all variables non-nullable — enforces sound null safety."

https://dart.dev/null-safety