It's rather odd that Dart isn't mentioned. Although its types are actually assertions in disguise, they serve a similar purpose.