Золото-доклад по Type-Driven Design

Хочу поделиться интересным докладом от iOS разработчика из American Express.

Большинство идей, которые я реализовал на TypeScript в проектах Ozon Aquriring за последний год, взяты из этого доклада и тех материалов, на которые он ссылается.

Мне кажется, будет полезно увидеть, как пишут код такие же фронты, но на другой платформе, ознакомится с оригиналом и тем, на чём он основан, а позже в серии заметок я выложу свой конспект доклада с реализацией большинства идей на TypeScript.

Темы

• Доменное моделирование на основе типов;
• Функциональные паттерны и типы;
• Превращение частичных функций в полные;
• Превращение функций с сайд эффектами в чистые
• Value Oriented Programming;
• Функциональная dependency injection.

https://youtu.be/pbVjkY9fS8c?si=V7cWrtyXPgpyf-B2

Мысли

• Несмотря на то, что в TS структурная, а не номинальная система типов, почти всё, что рассказано в докладе, можно реализовать на TS;

• Я теперь по-другому смотрю на Redux/useReducer. За свою практику видел много кода, где редьюсеры используются, как value setter'ы, а в миддлварах лежала бизнес логика, которая не покрывалась unit-тестами, но зато были тривиальные тесты на редьюсеры, что вообще бессмысленно. Ладно, об этом позже;

• Стоит также прочитать Redux is half of pattern. Это хорошо ляжет на доклад;

• Важно, что когда я говорю "Redux", то это про идею использования редьюсеров с однонаправленным потоком данных, а не про сам фреймворк. Я в курсе, что его захейтил Даниил Абрамов, просто так фронту легче понять, что за концепции обсуждаются;

• Рекомендую смотреть доклад в Obsidian с использованием плагина Timestamp Notes;

Вдохновляет

• Идея разрабатывать веб на связке Kotlin-JS, вместо TS-JS
• Мысль, что ты можешь работать в области 5 лет и всё равно ещё будет море вещей, которые можно узнавать и чувствовать себя Незнайкой
• Человек, придумавший мандарины без косточек
• Запах весны. Сейчас суббота, открыто окно, дует приятный ветерок, а я сижу и почему-то вместо прогулки пытаюсь понять, как перевести фамилию Luposchainsky...

Тэги #typeDrivenDesign #юнитТестирование #фронтенды, #valueOrientedProgramming, #чистыеФункции, #functionalProgramming, #доклад, #swift, #ios, #patterns, #fcis

Материалы

• Boundaries - доклад Гэри Бернхардта;
• Parse, don’t validate - статья Алексис Кинг;
• Domain Modeling Made Functional - книга Скотта Влашина;
• Boolean Blindness - статья Роберта Харпера;
• Algebraic blindness - статья Дэвида Лупощаинского;
• Value-Oriented Programming - статья Мэтта Дипхауса;
• Swiftology - блог Алексея Озуна;