TypeScript — это типизированный надмножество JavaScript, которое компилируется в простой JavaScript. Он добавляет в JavaScript дополнительные типы, классы, интерфейсы и модули.
Типизации — это простой способ управлять определениями TypeScript и устанавливать их. Он использует typings.json, который может разрешать реестр типов, GitHub, NPM, Bower, HTTP и локальные файлы.
Дискриминированное объединение или непересекающееся объединение — это структура данных, используемая для хранения значения, которое может принимать несколько разных, но фиксированных типов. В теории типов они также известны как «типы суммы». Вместо Ocaml используйте…