affect runtime semantics • Meant to act as documentation and help with tooling ◦ Just like Dart • Does not forbid using function annotations for other purposes ◦ Does gives them widely recognized default semantics, though • In no way required to be used • Doesn't expect everything to be annotated ◦ E.g., don't worry about annotating local variables if you don't want to