SB
Гранин мне уже ответил на это
Size: a a a
2021 March 30
SB
«Не нужно писать код, который надо дебажить».
SB
И все. Точка.
КП
«Не нужно писать код, который надо дебажить».
SN
И все. Точка.
«Просто перестань быть бедным! Найди там, не знаю, работу что ли, чтобы платили хорошо, делай что-нибудь короче»
SB
Я даже думал, а не пойти ли и не завести задачу в Джире, «начать писать код, который не нужно дебажить» и даже может быть critical приоритет поставить?
SN
Я даже думал, а не пойти ли и не завести задачу в Джире, «начать писать код, который не нужно дебажить» и даже может быть critical приоритет поставить?
Перестаньте бросать опасные идеи в ноосферу. Наши ПМы их оттуда подбирают
SB
Перестаньте бросать опасные идеи в ноосферу. Наши ПМы их оттуда подбирают
Даже acceptance criteria какие чёткие: единственный пункт - написан код, который ни разу не дебажился. Needed QA: false.
DS
> tagless final
> выразительно
Ну по сравнению со староклингонским выразительно, не поспоришь
> выразительно
Ну по сравнению со староклингонским выразительно, не поспоришь
Ну тут выразительность подразумевается в плане того, какой набор эффектов можно выразить данным приёмом. У tagless final он ощутимо шире, чем у фри монад по очевидным причинам.
Да и бойлерплейта сильно меньше, потому что на практике final tagless сводится к обычным тайпклассам и функциям с констрейнтами на них.
Да и бойлерплейта сильно меньше, потому что на практике final tagless сводится к обычным тайпклассам и функциям с констрейнтами на них.
SB
Ну тут выразительность подразумевается в плане того, какой набор эффектов можно выразить данным приёмом. У tagless final он ощутимо шире, чем у фри монад по очевидным причинам.
Да и бойлерплейта сильно меньше, потому что на практике final tagless сводится к обычным тайпклассам и функциям с констрейнтами на них.
Да и бойлерплейта сильно меньше, потому что на практике final tagless сводится к обычным тайпклассам и функциям с констрейнтами на них.
Нет, я все таки сейчас позову Гранина
SN
Ну тут выразительность подразумевается в плане того, какой набор эффектов можно выразить данным приёмом. У tagless final он ощутимо шире, чем у фри монад по очевидным причинам.
Да и бойлерплейта сильно меньше, потому что на практике final tagless сводится к обычным тайпклассам и функциям с констрейнтами на них.
Да и бойлерплейта сильно меньше, потому что на практике final tagless сводится к обычным тайпклассам и функциям с констрейнтами на них.
Давай мы перечислим языки, на которых TF вообще доступен, хотя бы в принципе. А потом сравним их выразительность по какой-то шкале, на которой находятся хотя бы некоторые мейнстрим языки
DS
Давай мы перечислим языки, на которых TF вообще доступен, хотя бы в принципе. А потом сравним их выразительность по какой-то шкале, на которой находятся хотя бы некоторые мейнстрим языки
TF используемый в качестве эрзац системы эффектов?
Или TF как подход для энкодинга данных функциями?
Первое - да, доступно толком только там, где можно HKT выразить хоть как-то эргономично.
Второе - были бы дженерики в языке - можно сделать.
Или TF как подход для энкодинга данных функциями?
Первое - да, доступно толком только там, где можно HKT выразить хоть как-то эргономично.
Второе - были бы дженерики в языке - можно сделать.
DS
SB
plz no
«Господь, жги!»
SB
Alexandr typing...
DS
Я в целом представляю как он ответит, там небось будет про то, что а как же бойлерплейт на трансформеры (но свои трансформеры никто неиронично не пишет в реальной жизни с FT)
SB
Я в целом представляю как он ответит, там небось будет про то, что а как же бойлерплейт на трансформеры (но свои трансформеры никто неиронично не пишет в реальной жизни с FT)
Ооо, так а он-то тебя оказывается знает.
SB
Да у нас тут целая Санта Барбара.