AC
функция some-> бессмысленная?
У неё есть параметры и результат
Size: a a a
2020 November 05
MB
а, я подумал, что хороший пример подразумевал пример хорошего интерфейса 😊
Нет, к сожалению 😁
AC
функция some-> бессмысленная?
Отдельные функции имеют смысл, но вся программа все равно сводится к io
O
ну у main тип IO ()
ST
а, я подумал, что хороший пример подразумевал пример хорошего интерфейса 😊
ну мы же не знаем, какое теоретизирование и сколько было при проектировании этих интерфейсов
вот когда в наименованиях используются термины теории категорий, то мы можем делать какие-то сопутствующие выводы
вот когда в наименованиях используются термины теории категорий, то мы можем делать какие-то сопутствующие выводы
O
но это не даёт повод говорить, что "монады завязаны на IO"
MB
Как это связано с тем что он сказал?
С тем, что мы тут выше обсудили, что some-> это по мотивам монады Maybe. Я имел в виду, что монады это не только про то, как можно IO втащить в чистый язык но и про удобные конструкции
O
я так понимаю, можно обойтись и без монады IO, например при наличии эффектов или unique types
ST
Нет, к сожалению 😁
сомневаюсь, что лично ты перед написанием кода проводишь глубокую теоретическую проработку 😊
MB
сомневаюсь, что лично ты перед написанием кода проводишь глубокую теоретическую проработку 😊
Обычно не провожу, но со временем становится видно, что удобно использовать, а что нет
ST
Обычно не провожу, но со временем становится видно, что удобно использовать, а что нет
ну вот и в java со временем становится видно, что удобно, а что нет 😊
MB
Ну и я уже давно понял, что для удобного надо смотреть в сторону функционального программирования
ST
ну вот и в java со временем становится видно, что удобно, а что нет 😊
и те же монады с одной стороны удобно, с другой у этого удобства есть своя цена, поэтому я не хочу тащить это в свой кложурный код
MB
Тезис не в этом же был. Тезис был в том, что с ними полезно ознакомиться, чтобы видеть больше способов абстрагировать свой код "хорошо", чтобы его было легко читать и поддерживать
AC
но это не даёт повод говорить, что "монады завязаны на IO"
Я к тому что нет смысла в монадах в языке где есть io не через монады
ST
думаю, что надо больше кода читать и поддерживать, чтобы научиться абстрагировать «хорошо» 😊
MB
Я к тому что нет смысла в монадах в языке где есть io не через монады
Я не знаю, как отвечать на straw man, кроме как сказать, что это он :) Монады это не только и не столько IO
ST
думаю, что надо больше кода читать и поддерживать, чтобы научиться абстрагировать «хорошо» 😊
ну то есть я не вижу существенной роли этих концепций в моём собственном развитии
если не считать отрицания монад в моём коде 😊
если не считать отрицания монад в моём коде 😊
MB
Ну можно конечно просто смотреть на Rich Hickey, как он потихоньку выбирает и перетаскивает хорошие идеи)
ST
Ну можно конечно просто смотреть на Rich Hickey, как он потихоньку выбирает и перетаскивает хорошие идеи)
это какие, например, если посмотреть на идеи, появившиеся после стартовой реализации языка?