ZM
Разнообразие взглядов о тф конечно удивительно.
Ощутили. На удивление всем понравилось.
А akka у нас по легаси. Вообще необходимость встраиваться в легаси кодовую базу - одна из причин не брать TF
Size: a a a
2020 August 04
TI
А откуда такой страх перед ТФ?
Oℕ
Ощутили. На удивление всем понравилось.
А akka у нас по легаси. Вообще необходимость встраиваться в легаси кодовую базу - одна из причин не брать TF
А akka у нас по легаси. Вообще необходимость встраиваться в легаси кодовую базу - одна из причин не брать TF
не понимаю
Oℕ
постоянно встраиваюсь в легаси кодовые базы, используя ТФ
Oℕ
прямо вот ровно для этого ТФ и использую
D
прямо вот ровно для этого ТФ и использую
F
Oℕ
возможно стоит снова развеять основной миф про ТФ. ТФ - это не техника, которую обязательно нужно применять "ко всему приложению целиком"
напомним, что ТФ - инструмент для кодирования индуктивных типов через полиморфизм,
в любом месте, где вы могли бы написать функции, возвращающие (Г)АДТ, а потом сфолдить его в результат - вы можете заменить его на ТФ
напомним, что ТФ - инструмент для кодирования индуктивных типов через полиморфизм,
в любом месте, где вы могли бы написать функции, возвращающие (Г)АДТ, а потом сфолдить его в результат - вы можете заменить его на ТФ
Oℕ
поэтому вы спокойно можете кусок за кусочком "легаси приложения" переписывать на ТФ, часто чисто механически
Oℕ
если вам нужно "встроить" легаси функции в уже имеющееся ТФ семейство - изолируете их в модуле и используете легаси код как его реализацию
Oℕ
если вам наоборот встроить новые ТФ функции в легаси приложение - пишете их на ТФ и интерпретируете в точке интеграции
EB
а что такое ГАДТ?
Oℕ
можно запустить такие разрастающиеся пузыри ТФ сразу по нескольким направлениям, постепенно рефакторя приложения, эти пузыри будут срастаться, и образуют единую кодобазу, когда рефакторинг будет закончен
AT
а что такое ГАДТ?
ну это как АДТ только Generalized
EB
я не давал советов, я не пишу на скале в прод )
AT
Можно, вырезай 🙂
Oℕ
спасибо
SA
GADT - это же чисто академическая штука? Никогда не видел его в реальном коде.
EB
GADT - это же чисто академическая штука? Никогда не видел его в реальном коде.
в play очень много используется
SA
в play очень много используется
можно название типа?