Mathias Schwarz

Message safety in Dart

2016 · Science of Computer Programming

Unlike traditional static type checking, the type system in the Dart programming language is unsound by design, even for fully annotated programs. The rationale has been that this allows compile-time detection of likely errors and …