Почему я не буду писать свою следующую библиотеку на TypeScript

Почему я не буду писать
свою следующую библиотеку на TypeScript

Валентин Ульянов

imgflip.com/memetemplate/238656378/Knight-with-arrow-in-his-eye

Обо мне

В IT около 10 лет

Обо мне

В IT около 10 лет
Делаю инструменты и редакторы документов, типа Word и Excel

Редактор таблиц Р7 — r7-office.ru/ofis-dlya-doma-ucheby

Обо мне

В IT около 10 лет
Делаю инструменты и редакторы документов, типа Word и Excel
Разрабатываю open source проект

Atomic CSS toolkit with Sass and ergonomics for creating styles of any complexity

Обо мне

В IT около 10 лет
Делаю инструменты и редакторы документов, типа Word и Excel
Разрабатываю open source проект
Выступаю на конференциях и веду
IT-сообщество в Питере на 600+ человек

Я и JavaScript/TypeScript

Первый опыт с JS был в 2013

Я и JavaScript/TypeScript

Первый опыт с JS был в 2013
С 2022 до 2025 в основном писал на TS

Я и JavaScript/TypeScript

Первый опыт с JS был в 2013
С 2022 до 2025 в основном писал на TS
Сделал несколько библиотек на TS

Я и JavaScript/TypeScript

Первый опыт с JS был в 2013
С 2022 до 2025 в основном писал на TS
Сделал несколько библиотек на TS
Сейчас работаю с проектом на 1 500 000 строк кода

Содержание

Трезвый взгляд на TypeScript
Причины не писать на TypeScript
Что делать?
Заключение

Кадр из Кунг-фу Панды — kinopoisk.ru/picture/747500/

Дисклеймер о контенте доклада — imgflip.com/memetemplate/177928880/Ripped-Barney

Системный код - код, который нужен для работы другого кода. Библиотеки, фреймворки, утилиты, etc

Прикладной код - программа для решения задач предметной области. Сервис доставки, интернет-магазин, онлайн-банк, etc

Акцент на системном коде — imgflip.com/memetemplate/Drake-Hotline-Bling

Кадр из Кунг-фу Панды: свиток дракона — "Кунг-фу Панда", 2008

Трезвый взгляд
на TypeScript

Обложка видео про Doom на типах TS — YouTube-канал Michigan TypeScript "TypeScript types can run DOOM"

67% of respondents stated they write more TypeScript than JavaScript code – while the single largest group consisted of people who only write TypeScript.

State of JS

Источник

Мастера, которые пишут на JS

Matteo Collina: Node.js, Fastify, Pino

Мастера, которые пишут на JS

Matteo Collina: Node.js, Fastify, Pino
Rich Harris: Rollup, Svelte

Мастера, которые пишут на JS

Matteo Collina: Node.js, Fastify, Pino
Rich Harris: Rollup, Svelte
Sindre Sorhus: половина npm

Мастера, которые пишут на JS

Matteo Collina: Node.js, Fastify, Pino
Rich Harris: Rollup, Svelte
Sindre Sorhus: половина npm
Тимур Шемсединов: Metarhia

TypeScript - про надежность?

Soundness - свойство системы типов, при котором, скомпилированная программа гарантированно не имеет ошибок, связанных с типами данных

TypeScript - про надежность?

Soundness - свойство системы типов, при котором, скомпилированная программа гарантированно не имеет ошибок, связанных с типами данных

Unsound - антоним soundness

TypeScript - про надежность?

Soundness - свойство системы типов, при котором, скомпилированная программа гарантированно не имеет ошибок, связанных с типами данных

Unsound - антоним soundness

Скриншот из вики TS, что нет цели делать soundness — github.com/microsoft/TypeScript/wiki/TypeScript-Design-Goals#non-goals

Вовка в тридевятом царстве — "Вовка в Тридевятом царстве", 1965

Заброшенная спека TS — github.com/microsoft/TypeScript/blob/release-4.0/doc/spec.md

Обложка подкаста с Андреем Старовойтом — YouTube-канал Podlodka "TypeScript убил JavaScript?"

TypeScript повышает продуктивность?

Обложка доклада Климова про TypeScript — YouTube-канал fwdays "Карго-культ TypeScript в украинских аутсорсерах [ru] / Илья Климов"

Но плюсов, то у TS больше! — imgflip.com/memetemplate/Y-U-No

Главные плюсы TypeScript

Контракты

Главные плюсы TypeScript

Контракты
Статический анализ

Главные плюсы TypeScript

Контракты
Статический анализ
Подсказки

Главные плюсы TypeScript

Контракты
Статический анализ
Подсказки
и другие возможности IDE

TypeScript - не только язык

Язык

TypeScript - не только язык

Язык
Компилятор

TypeScript - не только язык

Язык
Компилятор
Language server

TypeScript - не только язык

Язык
Компилятор
Language server
Типы стандартной библиотеки JS

TypeScript - не только язык

Язык
Компилятор
Language server
Типы стандартной библиотеки JS

А что если 🤔

Компоненты

Language server
Definition Types

А что если 🤔

Компоненты

Language server
Definition Types

Сильные стороны

Контракты
Статический анализ
Функционал IDE

Typescript в Fastify — github.com/fastify/fastify

Typescript в Svelte — github.com/sveltejs/svelte/tree/main/packages/svelte

Dramatic Chipmunk — youtu.be/pBuIkb2xk4k?si=meLQINpuk82QgS2U

Причины
не писать
на TypeScript

Бэкенд инфраструктура в AWS — universe.roboflow.com/aws-icons/aws-icon-detector/images/SjIsvcDS5bfm6yFs5D26

Синяя книга про DDD — logobook.ru/prod_show.php?object_uid=11130793

Translator entity использует базовый класс Entity

Hide pain Harold — imgflip.com/memetemplate/75105871/Hide-the-pain-harold

Мем: парень стоит у доски с формулами — imgflip.com/memetemplate/25097676/Difficult

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

Совместимость типов определяется по их структуре, а не по имени или месту объявления