Про TypeScript и про нас

Кто мы
ИТСК
Системный интегратор
Дочернее предприятие ПАО «Газпром нефть»
Пишем софт, много софта

Наши проекты (количество строк кода)

Что это такое
Объектно-ориентированный язык
Представлен Microsoft в 2012 году
Является расширением JavaScript
Добавляет типизацию
Добавляет модификаторы доступа членам классов
Добавляет синтаксические конструкции
Компилируется в JavaScript

Кому может пригодиться?

Сфера применения
Везде где можно исполнять javascript код

При разработке приложений для браузеров
Сфера применения

Если вы наркоман fullstack developer и пишете бэк на ноде, то код скомпилированный из TS может исполняться в node.js
Сфера применения

Deno – новая технология от создателя node, обещает исполнять TypeScript
Сфера применения

Динамика популярности языков со времени релиза typescript (по мнению stackoverflow)

Знакомство
Наше знакомство с typescript – 2016 год
Причины:
Строгая типизация
Выразительная система типов
Framework который мы выбрали для enterprise разработки пропагандирует ts

Что делают разработчики, когда встречают что-то незнакомое?
Сопротивляются!

Стадии принятия
Отрицание – да кому это только пришло в голову, типы в JS???

Гнев – *»№%::* эту строгую типизацию, это сколько надо dto наваять
Стадии принятия

Торг – ок, типы. Any – тоже вполне себе тип
Стадии принятия

Депрессия – ее мы, кажется, пропустили
Стадии принятия

Принятие – осознание плюсов типизации, кропотливое прорабатывание типов, избавление от any
Стадии принятия

Что он нам дает
Привычно выглядящие ООП конструкции
Статическую типизацию
Классы
Интерфейсы
Обобщенные типы
Типы перечисления
Модификаторы доступа
Декораторы

Система типов TypeScript
Статическая

Сильная (строгая)
Система типов TypeScript

Структурная
Система типов TypeScript

Номинативная
типизация
C#

Структурная типизация

Откуда берутся типы в TypeScript

Откуда берутся типы в TypeScript

Откуда берутся типы в TypeScript

Откуда берутся типы в TypeScript

Откуда берутся типы в TypeScript

Откуда берутся типы в TypeScript

Откуда берутся типы в TypeScript

Куда деваются типы в TypeScript

ES5
Куда деваются типы в TypeScript

ES5
Куда деваются типы в TypeScript

Анонимный тип
Compile-time тип

Именованный тип, Интерфейс
Compile-time тип
Compile-time ID

Класс Typescript
Функция-конструктор, или es6 класс
Compile-time тип
Compile-time ID

Рассмотрим
такой вариант

Ответ сервера

И вот что мы получим

Результирующий js

Еще про
интерфейсы

Еще про интерфейсы

Еще немного про интерфейсы
A
B

Еще немного про интерфейсы

Модификаторы доступа, все что о них нужно знать

Модификаторы доступа, все что о них нужно знать

Более того, даже в ts

Generic

Generic

C#
Generic

Generic

Generic

Generic

Контекст

Контекст

Декораторы
Для использования нужно включить --experimentalDecorators

Декораторы

Декораторы

Декораторы

Хорошо подойдет людям с опытом backend разработки на строго типизированных языках
Выводы

Расширяет возможности JavaScript, добавляя фишки, которые еще не вошли в стандарт, но ожидаются в будущем
Выводы

Добавляет статическую типизацию
Выводы

Более удобная навигация по проекту и более точные подсказки IDE.
Выводы

Описание предметной области с помощью типов в крупных проектах позволяет лучше понимать чужой код
Выводы

Обещает корректность типов в вашем приложении
Выводы

Он выглядит как C# или Java, но ими не является, вводя в заблуждение
Выводы

Это все еще JavaScript с прототипным наследованием
Из этого следует, что TS опасен для людей, которые плохо знают JavaScript
Выводы

Большая часть конструкций исчезает после компиляции
Выводы

Все что вошло в программу из нетипизированной среды может вам все поломать (json с бэка, например)
Выводы

Сторонние библиотеки с коллбэками, которые применяют свой контекст могут нам все поломать
Выводы

Проверка типов полностью отсутствует в рантайме
Выводы

Добавляется обязательный этап сборки проекта
Выводы

Не гарантирует корректность программы)
Выводы