Ну пусть говорит

А я описал

лол

@xgrommx тебя кстати Gerard Sans добрым словом вспоминал за доки по rx

Я даже больше скажу, перечитав недавно паттерны проектирования, обнаружил, что ооп-паттерны — это обычные фп морфизмы, только поданные в виде разрозненных фактов без общей базы

ооп патерны - это осознание того что наследование плохо выражает переиспользование кода и соответственно всё заменяется интерфейсами + композицией. ну и там всякие синтаксические фишечки типа синглтон, билдер

ооп патерны - это осознание того что наследование плохо выражает переиспользование кода и соответственно всё заменяется интерфейсами + композицией. ну и там всякие синтаксические фишечки типа синглтон, билдер

Ага, и тут резко врывается фп)

Ну это совсем не определяющий параметр

есть несколько определений ведь

Иии

хуи

ахах

хуи определяющий фактор

хуи

Ты какой-то нервный, ето всё из-за раста

ну я видел что одно из определений это join + return

Мб

ну в скале монада с флатмапом, в хаскеле с биндом

одно через с другое выражается

флатмап это бинд

так в итоге

оу

может кто-то сказать, что такое монада без сопутствтующих терминов?

тогда флатен нужен минимально?

может кто-то сказать, что такое монада без сопутствтующих терминов?

контейнер

Here we go again.

сука.

бля ну тебе нужно знать что такое адт

может кто-то сказать, что такое монада без сопутствтующих терминов?

Я тебе выше привёл пример. Упрощённо это всё, по чему можно сделать такой вызов. Контейнер это потому что мы берём Array<Type> и применяем к функции, которая требует Type, то есть вложенное значение

может кто-то сказать, что такое монада без сопутствтующих терминов?

это контейнер, который инкапсулирует в себе доступ к неким данным

может кто-то сказать, что такое монада без сопутствтующих терминов?

штука из тк которая в одно время оказалась очень к месту из-за способности выражать эффекты. прочие штуки из тк пользуются меньшей славой

работать с которыми можно через map/chain

ну да, это не какое-то супер важное понятие, просто в хаскелле решили эффекты сделать так

могли сделать и не так

А как, кстати?

сука.

ты знаешь си?

Короче, монада - буррито.

ты знаешь си?

+-

раньше просто хаскелл был чистый

+-

ну структуры из него

знаешь?

принимал строку возвращал строку

ну структуры из него

да

вот

А как, кстати?

я видел какой-то язык как хаскель, только там линейные типы

и все через них

??

ну и наверное unsafePerformIO

щас поищу

Просто fluture так же пользуется концепцией монады

структура которая хранит какой-то тип данных это контейнер

например массив хранит тип T

ну вот можно тут читануть http://ru-lambda.livejournal.com/131849.html

И я вот пока не оч представляю как это выразить иначе

я видел какой-то язык как хаскель, только там линейные типы

да, кстати давненько слышал про такое. только всё никак не мог нагуглить

Дайте шурочке проговориться уже, даже мне стало интересно что он там загоняет.

да, кстати давненько слышал про такое. только всё никак не мог нагуглить

clean?

например массив хранит тип T

так, и шо

так, и шо

и все)

так, и шо

ну ты можешь засунуть один контейнер в другой

и нам нужна функция которая превращает два вложенных контейнера в один

или все слишком просто и я даун, или все слишком сложно и я даун ?

и нам нужна функция которая превращает два вложенных контейнера в один

так

и нам нужна функция которая превращает два вложенных контейнера в один

и функция которая засосвывает тип в контейнер

он тебе ща про flatMap загонит монадный

монада это интерфейс который содержит эти две функции

и нам нужна функция которая превращает два вложенных контейнера в один

free monad

в этом весь прикол, если ты можешь описать для какого-то js-объекта вот это: type Monad<T> = { map<B>(f: T => B): Monad<B>; chain<B>(f: T => Monad<B>): Monad<B> } то у тебя монада

еще create=return нужен

А чей что представляет из себя?

ERROR: S client not available

ну суть примерно такая с точки зрения программных интерфейсов

Я помню про bind и join, что из них что.

Бля, надо научится голову включать уже.

Вопрос снят.

Так, ну с map понятно, а chain чем отличается

если ты в map пихнешь функцию f: T => Monad<B>, то на выходе получишь Monad<Monad<B>>

chain это flatMap

chain собственно и занимается “уравниванием"

секунду

Сполющивает до уровня одной монады.

Сполющивает до уровня одной монады.

Только один уровень убирает

Ну да.

Ровно один

Это важная оговорка.

в итоге, я все это понял, но не понял, что конкретно есть монада

структура, которая имеет эти 2 метода?

Интерфейс.

интерфейс

и все?

Да.

трейт

пиздец.

трейт

Нет

миксин

НЕТ

почему

ТРЕЙТ

ИМПЛИСИТ

лооол

Давайте без террора.

структура, которая имеет эти 2 метода?

для которой как-то описаны эти две функции или два метода

есть структуры, для которых нельзя их описать, они не монады