AG
тогда изоляция сама собой получается
Size: a a a
2021 February 11
DD
обычно абстрагируются от нечистоты чем-то типа эффектов
а что такое эффекты в фп?
˸A
Монадами изолируют
RR
Dmitry Dugin
а что такое эффекты в фп?
Запуск ракет
DD
Монадами изолируют
а. теперь понятно.
JS
Монадами изолируют
не только
JS
Dmitry Dugin
а что такое эффекты в фп?
2021 February 15
SB
Dmitry Dugin
Я правильно понимаю один из аспектов функционально подхода в отношении чистых и нечистых функций? мы изолируем нечистые функции(ввод-вывод допустим) , а они уже вызывают чистую функцию, которая в свою очередь может последовательно вызвать цепочку чистых функций. таким образом изолируется "грязный" код как я понял.
Это зависит от того, насколько у тебя сильная форма монад головного мозга и на каком языке программирования ты сидишь. Если это тьфу-тьфу Хаскель, то там IO a служит великой цели разделения мира напополам. Но поскольку в большинстве случаев на практике тебе надо не только IO, а ещё и состояние, и работа с потенциально отсутствующими данными, и обработка ошибок или тайм-аутов, одним IO ты обойтись не можешь и начинаешь городить нечто гораздо более уродливое вслед за wikihaskell. Если у тебя языки с примесью функциональных подходов, которые все же ближе к грешному миру промышленной разработки, то там, например, не стыдно в качестве аргумента чистой функции принимать ILogger условный и писать лог прям из чистой функции; таким образом она становится не вполне чистой, но это на практике никого не волнует, поскольку все ключевые преимущества чистых функций остаются. В таких языках любители BDSM обычно вопреки здравому смыслу натягивают на свой код самописные монады как сову на глобус ради ощущения собственного величия и «я не такой как все», а все остальные просто ищут здоровый баланс между сайдэффектами и математическим совершенством.
K
Это зависит от того, насколько у тебя сильная форма монад головного мозга и на каком языке программирования ты сидишь. Если это тьфу-тьфу Хаскель, то там IO a служит великой цели разделения мира напополам. Но поскольку в большинстве случаев на практике тебе надо не только IO, а ещё и состояние, и работа с потенциально отсутствующими данными, и обработка ошибок или тайм-аутов, одним IO ты обойтись не можешь и начинаешь городить нечто гораздо более уродливое вслед за wikihaskell. Если у тебя языки с примесью функциональных подходов, которые все же ближе к грешному миру промышленной разработки, то там, например, не стыдно в качестве аргумента чистой функции принимать ILogger условный и писать лог прям из чистой функции; таким образом она становится не вполне чистой, но это на практике никого не волнует, поскольку все ключевые преимущества чистых функций остаются. В таких языках любители BDSM обычно вопреки здравому смыслу натягивают на свой код самописные монады как сову на глобус ради ощущения собственного величия и «я не такой как все», а все остальные просто ищут здоровый баланс между сайдэффектами и математическим совершенством.
> начинаешь городить нечто гораздо более уродливое вслед за wikihaskell
Ну там, mtl завезли, системы эффектов ещё.
Ну там, mtl завезли, системы эффектов ещё.
2021 February 24
G
Милевски поясняет за ТК и ФП в factorio
https://www.youtube.com/watch?v=A46KQtriYuM
https://www.youtube.com/watch?v=A46KQtriYuM
DG
Вроде бы, эти же (или схожие) вещи текстом:
https://bartoszmilewski.com/2021/02/16/functorio/
https://bartoszmilewski.com/2021/02/16/functorio/
2021 March 01
L
Каждая некоммутативная развилка в "дуальном" графе билда отсекает класс проектов. Следовательно если надо дойти до определённого финала, большинство веток можно вычеркнуть из рассмотрения
Кажется, тут в тему
Geometry of Interaction
https://arxiv.org/abs/1703.10027
https://arxiv.org/abs/1703.10027
https://link.springer.com/chapter/10.1007/978-3-030-02768-1_12
Geometry of Interaction
https://arxiv.org/abs/1703.10027
https://arxiv.org/abs/1703.10027
https://link.springer.com/chapter/10.1007/978-3-030-02768-1_12
AG
если уходить в логические дебри в поисках абстракций для модулей, можно ещё вспомнить недавнее
https://arxiv.org/abs/2010.08599 Sterling, Harper, [2021] "Logical Relations as Types: Proof-Relevant Parametricity for Program Modules
https://arxiv.org/abs/2010.08599 Sterling, Harper, [2021] "Logical Relations as Types: Proof-Relevant Parametricity for Program Modules