VF
Когда в одном куске куда типов больше чем влезает в память погромиста разработка замедляется
Size: a a a
2021 October 11
ii
Тип надо будет передавать вместе с данными. Или возложить на погромиста проверку. Или одно или другое. Физика.
AW
Могу другой пример
AD
Лол
AD
Нет же
PD
Я про 'какую проблему решаем'?
AD
Типы для того и нужны чтобы забыть о коде
ii
Мозгоклюйством занимаемся. Всей толпой
AW
Представим, у нас есть сервис, мы каким-то кодом получаем данные из бд. Было бы круто тем же самым кодом получать эти же данные в другом сервисе только через рпц
AW
По сути мы разделяем апи и реализацию клиента
AW
Один будет в бд ходить
AD
Их не надо помнить. А без типов все держи в голове
AW
Другой слать запросы в сервис
AW
Да, это контрактное программирование
AW
Так реально проще интегрировать разные модули, например
VF
Но ими нужно оперировать и если приходится оперировать количеством больше 3-4 за раз, начинаются проблемы у типичного пограмиста
AD
А так начинаются проблемы в рантайме
PD
Хм, как минимум через паттерн стратегия, который легко сделать на лямбдах или интерфейсах. Но сама идея меня пугает, так как абстракция очень сильно течет.
AD
Потому что про все профуканные инварианты компиль не напомнил
ММ
А зачем знать про все типы? Вон, в плюсах у каждой лямбды свой уникальный тип, и что?