DI
таким отвечали "пойдешь на рынке торговать, пригодится бюджет считать"
Size: a a a
2021 May 03
DB
прошу не душить определениями полезности и смысла
DI
подловил!
AS
Ну если в другом контексте окажется брампочпяк, наверно стоит удивится на этапе его появления, а не во время чтения кода?
Твой же тезис, что все знают что это за буквы. Если вы знаете, что это за буквы, наверно вы будете удивлены, если за ними будет скрываться нечто иное?
Твой же тезис, что все знают что это за буквы. Если вы знаете, что это за буквы, наверно вы будете удивлены, если за ними будет скрываться нечто иное?
AF
Ну просто с математическими штуками с некоторой регулярностью оказывается, что они подходят для описания совершенно разных вещей. Вообще никак не связанных, просто математический аппарат один и тот же. Допустим, в одной интерпретации параметры можно интерпретировать как фокуседИнпут или фокуседОутпут. А если его возьмут для чего-то, вообще не связанного с инпутом и оутпутом?
AF
угу. Они абстрактны
DB
я и написал выше, что если найдёшь как ещё применить — все только рады будут
AS
То в этом случае люди, которые будут считать это нечто оптикой, могут ощутить протечку абстракции в совершенно случайном месте, а не при столкновении с определением оптики
AS
Это промышленная библиотека же, ей будут пользоваться люди
AF
я не слишком хорошо понимаю профункторы, поэтому не знаю, где их ещё могут применить, кроме оптики, да и про оптику ничего не понятно. А вот более простая штука
multiply a b = a * b
Какие здесь осмысленные имена должны быть?
multiply a b = a * b
Какие здесь осмысленные имена должны быть?
AS
Большая их часть будет пользоваться на уровне сетер - гетер
DB
профунктором, например, может быть очередь
data Queue input output = forall a. Queue { pack :: input -> a, unpack :: output :: a -> output, values :: [a] }AS
Это доведение до абсурда. Если вы мне предъявите человека, который по строчке
multiply a b не поймет, что означают a и b, то тут будет что обсуждатьAS
Подробное именование переменных снижает сложность кода. Я что-то сомневаюсь, что оптика это тривиальный код, понятный любому человеку