1. 2

Bringing static types to dynamic languages.

  1.