Ensuring that your dart will hit the mark: An introduction to dart contracts

摘要

This paper presents Dart Contracts, an embedded contract language for Dart with non-null annotations, whose design was inspired by the Java Modeling Language, Spec# and Microsoft's Code Contracts, among others. Dart is a dynamically typed object-oriented language with first class functions and an optional static type system. Dart is useful for engineering web apps (running in browsers) as well as server-side programs. The Dart programming language is one of Google's responses to the deficiencies of JavaScript when it comes to engineering large-scale Web applications.