Статически типизированный язык программирования, надмножество над JavaScript, компилируемое в чистый JavaScript. Он добавляет необязательную статическую типизацию, классы, интерфейсы, дженерики и другие возможности, облегчающие разработку крупных и сложных приложений, повышая их надежность и поддерживаемость.