> It lets you define types for more safely interacting with other Javascript code

You define types for everything.