Dart is a client-optimized language for developing fast apps on any platform. TC52 recently finalized the development of Dart 2.12 with a new language feature “sound null safety”; their largest language addition in recent times. The committee plans to work on updating the formal specification to match this significant change.

Additional information is available.