Артем Арутюнян

Начать. Это бесплатно
или регистрация c помощью Вашего email-адреса
Rocket clouds
Артем Арутюнян создатель Mind Map: Артем Арутюнян

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