Shub
спасибо, не надо
A64m
при этом получая масштабируемый и поддерживаемый код
код получается масштабируемым и поддерживаемым по построению, из за контроля эффектов, никаких других усилий кроме пройти тайпчек не требуется
A64m
(на самом деле есод, конечно, говно, надо брать сервант, но это вопрос личных предпочтений в основном)
A64m
например хачкелисты обычно ненавидят макросы
Vasily
Эффектом называется операция с IO?
A64m
не только
Vasily
Или это любой лифтинг?
Vasily
Типа Async.map
A64m
не знаю, насколько хорошо тут подходит слово лифтинг, но упрощенно говоря да, что-то вроде такого
Anonymous
я прощу прощения за наглое второжение, но я один помню как дядя Боб хвалил Хаскель?
Anonymous
и говорил, что вообще-то любому приличному деву нужно знать математику?
A64m
да не важно, что он хвалил или ругал
Anonymous
в том числе дажее непрерывную?
Vasily
@A64m_qb0 Я правильно понимаю, что для того, чтобы нормально писать в ФП стиле, нужна теория категорий?
Anonymous
хвалил чистые фукнции, типичную для ФП модульность и все такое прочее? лет 5 назад, помню, еще смотре че он там проповедует и запомнилось
Roman
И всё равно круче получается, когда в разумной мере смешивать ООП и ФП!
Dmitry
я прощу прощения за наглое второжение, но я один помню как дядя Боб хвалил Хаскель?
дядя Боб (если не путаю его с кем-то другим) последнее время заявлял столько всякого, что я как-то сильно перестал его воспринимать как авторитета для принятия решений
A64m
Anonymous
@A64m_qb0 Я правильно понимаю, что для того, чтобы нормально писать в ФП стиле, нужна теория категорий?
хорошо бы определить что это за стиль такой?
A64m
@A64m_qb0 Я правильно понимаю, что для того, чтобы нормально писать в ФП стиле, нужна теория категорий?
бывают такие единичные авторы библиотек, которые утверждают, что знание теорката им помогает лучше интерфейс проектировать но там обычно не особо продвинутый теоркат и это не обязательно даже для автора библиотек
Anonymous
Тогда у меня вопрос - откуда все эти понятия типа алгебры и прочая наукообразная херь?
из оригинальных статей CS
Anonymous
многим из которых лет по 30
Doge
Тогда у меня вопрос - откуда все эти понятия типа алгебры и прочая наукообразная херь?
Потому что названия стащили оттуда, но сами понятия прекрасно без каких-то дополнительных знаний работают.
Anonymous
бывают такие единичные авторы библиотек, которые утверждают, что знание теорката им помогает лучше интерфейс проектировать но там обычно не особо продвинутый теоркат и это не обязательно даже для автора библиотек
теоркат таки помогает, да. не всегда и не во всем, но помогает.
Ayrat
x
Херасе тут корпускулярно-волновой дуализм
Hog
Ну вы тут понаписали!
Hog
Было чо интересное?
Hog
И что значит заголовок? :)
Крылатый
Да! Им нравится конопля.
Крылатый
есть особые породы пчёл, натасканные только на определённые цветы?
Но ваще, если вокруг пасеки нахерачить кучу гектар нужного цвета, то вероятность нужного мёда возрастёт — ближе ведь.
Hog
Romɑn
Но ваще, если вокруг пасеки нахерачить кучу гектар нужного цвета, то вероятность нужного мёда возрастёт — ближе ведь.
и придут на конопляные поля пчелки в погонах
Крылатый
и придут на конопляные поля пчелки в погонах
Ну на техническую коноплю под лицензией никто и не приедет
Viacheslav
A64m
вот если бы было - "после вашей смерти код становится ..." и т.д., тогдаб звучало
Hog
а сегодня несет офигительные истории типа такой https://blog.ploeh.dk/2019/07/01/yes-silver-bullet/
это ж Симан, а не Снойман. Вот я и не понимал, откуда Снойман в ф# :))))
A64m
ну существуют хорошие практики написания кода, иммутаьельность и т.д. контроль эффектов означает, что следование некоторым таким практикам проверяется тайпчекером
A64m
если не связывать следование хорошим практикам с какой-то полезной отдачей, то да - непонятно для чего это
A64m
но весь смысл фп, что теребишь функции пока типы не сойдутся, а типы проектируются так чтоб при схождении что-то полезное получалось
A64m
соотвественно и "полезных советов" надо меньше
Anonymous
но весь смысл фп, что теребишь функции пока типы не сойдутся, а типы проектируются так чтоб при схождении что-то полезное получалось
Главное чтобы в конце получалась зарплата.
Anonymous
А то практика показывает, что если сильно теребить ФП, то работу найти может быть сложнее чем кажется.
A64m
че, теперь бывает такое что программистам зарплату не платят?
A64m
обычно да, но не программистам же
A64m
еслиб программистам платили за результат их бы расстреливали обычно
Hog
че, теперь бывает такое что программистам зарплату не платят?
какой ты токсичный! тебе за хаскель чо плотють?
Romɑn
еслиб программистам платили за результат их бы расстреливали обычно
А вот манагеры уже управляют результатом, а из погромисты за это не любят
Romɑn
Грустная история похлеще чем Джульетта с Ромео
Hog
из каждого коммента прям брызжет ЧСВ.
Hog
я бы с таким в одной команде работать не захотел бы
A64m
я просто токсичный за бесплатно, а за деньги не токсичный
Hog
Не верю! (с)
A64m
я гарантирую это
Igor
А вот манагеры уже управляют результатом, а из погромисты за это не любят
Когда то давно у нас было такое правило - если ты быстро сделал работу, то это менеджер молодец, что дорого продал. А если долго делал, то сам виноват
Vasily
Ну оно и сейчас такое же в большинстве случаев
Yury
Это почти универсальное свойство)