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.
You are kindly invited to register if you wish to contribute as a non-member.