Я имею в виду что для непонятливых, которые хотят врубиться без чтения сложного описания достаточно просто привести например, примеры для chain не только с массивами, но и, скажем, с простым числом

или с объектом

А то новичку может действительно показаться что метод работает только с массивами

там всего один тип данных))

И объяснение этого факта как раз и укладывается в продвинутую лекцию о фп

Необходимых примеров привести достаточно

И корректной сигнатуры

Метод chain работает с Monad, с Chain если быть точным

Другое дело, что массивы и строки в жс отвечают спеке fantasy-land Chain

Проблему "почему нет типа" проще всего описывает пресловутое «Монада — это моноид в категории эндофункторов»

абсолютно самодостаточное определение, замкнутое на само себя и теорию категорий

Декартово замкнуто?

Весь мессадж сейчас обломаешь)

Я пробовал сделать доку для рамды) Там тупо непонятно, куда в интерфейсе умещать все эти глубокие сведения, отсылки и связи, мне банально не хватало фантации уже)

Поэтому для того, чтобы дока была ок, нужен хороший спец по UX, а авторы рамды всё же программисты

Местами до жути ленивые, конечно

Другое дело, что массивы и строки в жс отвечают спеке fantasy-land Chain

А числа? Ведь работает же следующий код: chain(add, inc)(1) // => 3

Метод chain работает с Monad, с Chain если быть точным

Простое число (в смысле не объект Number) это тоже монада?

0.1.toFixed(20)

?

А числа? Ведь работает же следующий код: chain(add, inc)(1) // => 3

это же часть ридера, а не числа

Простое число (в смысле не объект Number) это тоже монада?

Тут немного иначе) Представь себе, что вот есть стейт — условный State x. Мы хотим его обработать, и поэтому пишем какую-то функцию, обрабатывающую значение в нём, но заворачивать его обратно она не умеет f(State) -> payload Поэтому мы делаем функцию, которая умеет сохранять полученное нами значение. f(State, payload) -> State Скомбинировав их, мы получаем самостоятельную функцию для выполнения операций над нашим состоянием chain( save: (State, payload) -> State, edit: (State) -> payload ) chain( append: (List, el), head: (List) -> el ) chain( join: (String, STRING), toUpper: (String) -> STRING ) ) chain( add: (Num, Num+1), inc: (Num) -> Num+1)

Синтаксис абы какой у меня, да

State monad? :D

ну я щас долго пытался подобрать аналогию)

https://github.com/frptools/collectable

?

Оо, неплохо заморочился

Масштабная репа

Тут немного иначе) Представь себе, что вот есть стейт — условный State x. Мы хотим его обработать, и поэтому пишем какую-то функцию, обрабатывающую значение в нём, но заворачивать его обратно она не умеет f(State) -> payload Поэтому мы делаем функцию, которая умеет сохранять полученное нами значение. f(State, payload) -> State Скомбинировав их, мы получаем самостоятельную функцию для выполнения операций над нашим состоянием chain( save: (State, payload) -> State, edit: (State) -> payload ) chain( append: (List, el), head: (List) -> el ) chain( join: (String, STRING), toUpper: (String) -> STRING ) ) chain( add: (Num, Num+1), inc: (Num) -> Num+1)

В итоге мы имеем то, что chain может работать С ЧЕМ УГОДНО?

с тем что есть функтор с 2 натуральными преобразованиями и соблюдает законы для монад

что такое натуральные преобразования?

с тем что есть функтор с 2 натуральными преобразованиями и соблюдает законы для монад

я имею в виду то, что я могу в чейн передать хоть число, хоть булин, хоть еще какую-нибудь хрень?

булеан или число это контейнерный тип?

булеан или число это контейнерный тип?

Ну я же выше привел пример, что чейн работает с числом

с тем что есть функтор с 2 натуральными преобразованиями и соблюдает законы для монад

Странно звучит что функтор соблюдает монадные законы

что такое натуральные преобразования?

1 - T (ню) T2 -> T (мю)

Странно звучит что функтор соблюдает монадные законы

если

Странно звучит что функтор соблюдает монадные законы

ничего странного монада - это функтор с 2 нат преобразованиями что похожи как у моноида на mempty и mappend

вернее это эндофунктор

1 - T (ню) T2 -> T (мю)

ну вот ты не пояснил :(

в программировании это (ню) (вы его знаете как return, of, pure) (мю) (вы его знаете как join, unnest или же по закону join = chain(id))

1 -> T

T - функтор

понял

спасибо)

это я по частям объяснил что монада это моноид в категории эндофункторов

ну я только умею в цепочку функтор -> апликативный функтор -> монада)

более интересней посмореть на законы моноида через <=< и pure

а a -> f b есть стрелка Клейсли

Короче, я понимаю что еще не дорос до того, что б понимать ответы на свои вопросы в этом чате )

у нас есть категория с объектами как типы и стрелками как функции вида a -> b

так вот есть еще и категория Клейсли

где морфизмы это a -> f b

of -> простой споособ безэффектно упаковать значение в монаду

join - разравниватель структуры (с применением присущего эффекта этому контейнеру)

подкину в топку))) http://www.stephendiehl.com/posts/monads.html

https://bartoszmilewski.com/2017/03/14/algebras-for-monads/

тут на картинку смотрите https://en.wikibooks.org/wiki/Haskell/Category_theory#Monads

В итоге мы имеем то, что chain может работать С ЧЕМ УГОДНО?

Да. Как и map, equals и ещё ряд методов)

Да. Как и map, equals и ещё ряд методов)

Значит в сигнатуре ошибка? Chain m => (a → m b) → m a → m b Ведь в этой сигнатуре указано что чейн может возвращать ТОЛЬКО объект такого же типа, как и принял ("m b"). Правильно? Тогда почему работает следующий код? chain(curry((arg1, arg2) => 'ha-ha'), identity)([12]) // => 'ha-ha'

Значит в сигнатуре ошибка? Chain m => (a → m b) → m a → m b Ведь в этой сигнатуре указано что чейн может возвращать ТОЛЬКО объект такого же типа, как и принял ("m b"). Правильно? Тогда почему работает следующий код? chain(curry((arg1, arg2) => 'ha-ha'), identity)([12]) // => 'ha-ha'

Это верно в буквальном прочтении для нормального случая, две функции в chain — это слегка более сложная ситуация) m b у тебя тут — это функция (anything) -> 'ha-ha', а значит на выходе у тебя в итоге просто тип с единственным возможным значением

То есть, присмотрись к сигнатуре a → m b, это функция короче, чем твоя a -> b -> c

привет

как в рамде сравнить два массива?

или в ней нет аналога isEqual лодаша?

equals

<3

ERROR: S client not available

спасибо

а два json объекта можно? без танцев с json.stringify(json.parse(...))

кстати, раз уж я тут у вас есть какая-то методичка по переходу ~на темную сторону~ на функциональный стиль?

а два json объекта можно? без танцев с json.stringify(json.parse(...))

да, и ты не поверишь, как эта функция называется ?

кстати, раз уж я тут у вас есть какая-то методичка по переходу ~на темную сторону~ на функциональный стиль?

http://ramdajs.com/ На главной странице неплохая подборка

а есть какой-то аналог Object.keys?

а есть какой-то аналог Object.keys?

а чем он тебя не устраивает?

та любопытство обычное

уже нашел)

что нашел?

keys

бля

так это и есть Object.keys?

или ты из какой-то библиотеки нашел?

Из рамды же

Из рамды же

ну и разница какая?

Унификация подхода

каррированая

хотя там аргумент один

Унификация подхода

в чем?

а блин сорян, не заметил в каком чате

а блин сорян, не заметил в каком чате

лол

?

в чем?

Для всех операций используются единообразные функции, не задумываешься, откуда что брать

*если что — то я объясняю мотивацию, а не говорю "надо так делать"))

Потому что вот keys мне точно лень подключать)

А вообще у них там совместивость до ie8 и ловятся разные баги браузеров

еще вопрос есть

let pred = R.where({ a: String }) console.log(pred( { a:1 } ))

почему возвращает true?

немного отредактировал

String(1)