ООП vs %name% , размышления о проектировании

Цитата

Монады и точки - это взаимно перпендикулярные сущности.

Ну фиг знает. Цепочка вычеслений и цепочка вычеслений.

Цитата D_KEY @ 20.01.19, 19:07

Раз забыл, значит редко используешь. Значит да, лучше обсудить детали. И значит в этом конкретном случае от паттерна толку не было.

Почему? Юзать паттерны не зная что из них чем является - нормальное явление для программиста.

Цитата OpenGL @ 21.01.19, 05:25

Юзать паттерны не зная что из них чем является - нормальное явление для программиста.

Я под паттерном понимаю в данном случае именно устоявшийся каталогизированный способ и соответствующий ему термин.
А то, что твое решение совпадает с паттерном - это уже другой вопрос
Думаю, что у всех программистов такое бывает и читая тот же GoF впервые они видят там свои же решения, пусть и чуть в другом виде иногда.

Разговор про монады напомнил мне, как я тут развлекался когда-то в одной из тем
Монады и C++
Часть 2(списки)
Часть 3(монада IO)

Цитата D_KEY @ 23.12.15, 09:57

ХЗ зачем я все это делал, но было интересно

Вот уж действительно

Добавлено 21.01.19, 06:15
Я думал меньше времени прошло

Цитата Астарот @ 21.01.19, 03:53

Ну фиг знает. Цепочка вычеслений и цепочка вычеслений.

Всякая монада - это действительно цепочка вычислений. Но не всякая цепочка вычислений - это монада.

Цитата applegame @ 21.01.19, 08:43

Цитата Астарот @ 21.01.19, 03:53

Ну фиг знает. Цепочка вычеслений и цепочка вычеслений.

Всякая монада - это действительно цепочка вычислений. Но не всякая цепочка вычислений - это монада.

Что никак не объясняет почему они "перпендикулярны".

Цитата Астарот @ 21.01.19, 09:04

Что никак не объясняет почему они "перпендикулярны".

Я хз как ещё объяснять. "Монады - это точки" это примерно как "студенты - это программисты". Так вот, студенты и программисты взаимно ортогональны. Есть такая аллегория.

Сообщение отредактировано: applegame - 21.01.19, 11:46

Цитата applegame @ 21.01.19, 11:40

Я хз как ещё объяснять. "Монады - это точки" это примерно как "студенты - это программисты". Так вот, студенты и программисты взаимно ортогональны. Есть такая аллегория.

Очевидно же, что когда я говорю "монада - это точки", то рассчитываю, что все тут присутствующие все же программисты, и смогут развернуть это колхозное определение во что-то вроде "объекты содержащие логику и состояние и поддерживающие цепочечные вызовы", или как-то так. Вообще говоря какой-нибудь "билдер" на все возвращающий сам себя, а на build() результат - тоже монада

Цитата Астарот @ 21.01.19, 12:00

"объекты содержащие логику и состояние и поддерживающие цепочечные вызовы"

Любой класс, в котором есть логика и состояние и в котором есть метод возвращающий тип-объект подходит под это определение.

Цитата applegame @ 21.01.19, 03:35

в Хаскеле, наоборот, без монад вообще невозможно жить.

Можно, но не нужно, ибо с ними удобней.

Цитата Астарот @ 20.01.19, 20:11

А функциональщина она как раз про бесточечную нотацию, кажется.

Point-free notation не про '.'

Цитата korvin @ 22.01.19, 08:08

Можно, но не нужно, ибо с ними удобней.

Как ты себе представляешь приложение без I/O? Без монад можно разве что либы писать.

Более того, именно ради I/O программа и пишется

Цитата applegame @ 22.01.19, 08:14

Цитата korvin @ 22.01.19, 08:08

Можно, но не нужно, ибо с ними удобней.

Как ты себе представляешь приложение без I/O? Без монад можно разве что либы писать.

Возможно, есть другие способы сделать ввод/вывод в haskell. Без монад.

Цитата applegame @ 22.01.19, 08:14

Как ты себе представляешь приложение без I/O? Без монад можно разве что либы писать.

Монады не про IO. Берёшь unsafePerformIO и вперёд. Альтернативный вариант — unique types в Clean.

Цитата korvin @ 22.01.19, 13:06

Монады не про IO.

Монады не про IO, зато IO про монады.

Цитата korvin @ 22.01.19, 13:06

Берёшь unsafePerformIO и вперёд.

Там все равно присутствует монада IO:

Цитата

This is the "back door" into the IO monad, allowing IO computation to be performed at any time.

И всякие операторы вроде >>= и do-нотация - это тоже использование монад.
Монады в Хаскеле - это не прикольная дополнительная возможность, а суровая необходимость.