1. Контрактное программирование
1.1. История
1.2. Практиеские средства
1.3. Библиотека для пример
1.4. План
1.5. Зачем нам это нужно
1.5.1. Надежность
1.5.1.1. Сейчас пишем ненадежно
1.5.1.2. Код
1.5.1.2.1. Что-то сможем сделать
1.5.1.3. Структуры данных
1.5.1.3.1. Ничего не сможем сделать
1.6. Контрактное программирование
1.6.1. Статическая типизация
1.6.1.1. typescript
1.6.1.2. Пример
1.6.1.2.1. Контракт на данных
1.6.2. Генераторы
1.6.2.1. ts-runtime
1.6.2.1.1. все типы
1.6.2.2. superstruct typescript-transformer
1.6.2.2.1. функция validate
1.6.3. Рантайм валидаторы
1.6.3.1. yup
1.6.3.1.1. Непонятно почему не подошло, плюсы и минус
1.6.4. Библиотека для контрактов
1.6.4.1. Чем отличается???
1.6.4.2. Нужно обосновать зачем нужны ошибки???
1.6.4.3. Что такое pattern matching?? Зечем он нужен
1.6.4.4. Нужно пояснить, что такое перегрузки и зачем они нужн
1.6.4.5. Брендированые типы
1.6.4.5.1. Что используется для typescript. За счет чего получается связать рантайм и типы
1.6.4.6. Ограничения и недостатки
1.6.4.6.1. ПРоизводительность
1.6.4.6.2. Контракты не получиться актуализировать
1.6.4.6.3. Exception c flow
1.6.4.6.4. Типы неоднородны
1.6.5. Single Source of trust