TypeScript

JavaScript with a static type system layered on — types are written in the source, checked by a compiler, and erased in the output

The language this site and most of its tooling are written in. Its value is the type checker; the types themselves are documentation that cannot go stale.