В консоли пишет ругань тогда

в смысле?)

Ошибку? Ща

const

СОрри ))))

Спасибо!

тебе определенно надо перерыв сделать)

А в каких случаях этот chain может быть удобнее, например, pipe?

Задача-то одна и та же - создание цепочки операций для получения единого результата?

но абсолютно разный тип

попробуй через pipe сцепить head и append

Да, понадобится сохранение массива в отдельную переменную )

Спасибо! Поэкспериментирую

https://twitter.com/Crazy_Owl/status/676989458831556608

https://twitter.com/danslapman/status/813711498350567424

Я еще не очень пока освоился с описанием этих функциональных типов. Если читать описание к методу chain Chain m => (a → m b) → m a → m b То это означает что метод chain возвращает монаду, которая принимает каллбек, принимающий аргумент типа a, и возвращающий монаду, принимающую тип b в качестве аргумента? И потом эта "изначальная" монада, которую создает метод chain должна вернуть монаду, принимающую аргумент типа a, и та должна в свою очередь вернуть монаду, возвращающую монаду, принимающую тип b?

Как тогда под это определение ложится следующий пример из той же документации: var duplicate = n => [n, n]; R.chain(duplicate, [1, 2, 3]); //=> [1, 1, 2, 2, 3, 3] ?

Ведь функция duplicate не возвращает никакую монаду?

в данном случае монада, которую сцепливают - R.head, а не список

А почему head монада?

Ведь функция duplicate не возвращает никакую монаду?

список тоже монада

ок

Тогда еще непонятка с этим примером: R.chain(R.append, R.head)([1, 2, 3]); //=> [1, 2, 3, 1] Где в документации типа указано что в качестве аргументов он может принимать произвольное число функций, возвращающих монады?

А почему head монада?

ща могу ошибиться, но head это монада над типом a, где a - результат head

Это документация неполная, или я не понял как читать это определение метода chain? Chain m => (a → m b) → m a → m b

Я еще не очень пока освоился с описанием этих функциональных типов. Если читать описание к методу chain Chain m => (a → m b) → m a → m b То это означает что метод chain возвращает монаду, которая принимает каллбек, принимающий аргумент типа a, и возвращающий монаду, принимающую тип b в качестве аргумента? И потом эта "изначальная" монада, которую создает метод chain должна вернуть монаду, принимающую аргумент типа a, и та должна в свою очередь вернуть монаду, возвращающую монаду, принимающую тип b?

не, метод chain принимает первым аргументом функцию, которая берет значение A и возвращает другое значение(B) в монаде, а вторым аргументом монаду со значением A

то, что до => можешь игнорировать

это ограничение на тип m

А третьим аргументом монаду со значением B?

А третьим аргументом монаду со значением B?

нет, это результат

И аргументов может быть только 3?

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

Ок

Спасибо!

В этих описаниях типов m - это всегда монада?

чтобы понять, что такое m - надо смотреть запись до =>

m это что-то, что можно чейнить(т.е. монада)

Ух! Спасибо!

Надо найти статью про описание этого синтаксиса описания типов )

может быть например Functor m, обычно конечно запишут Functor f, так принято

Надо найти статью про описание этого синтаксиса описания типов )

это вроде из семейства языков ML

ну и в хаскеле оттуда

Но и для js как видно успешно используется

Интересно, есть ли название у этого синтаксиса?

Что б найти какую-нибудь короткую статью на этот счет

не знаю, посмотри определение функций хаскеля

займет час времени, но сразу поймешь записи

Что б найти какую-нибудь короткую статью на этот счет

https://medium.com/devschacht/tom-harding-fantas-eel-and-specification-2-type-signatures-c9b2e45dea71 и тут в комментах чуток) https://medium.com/devschacht/спецификация-fantasy-land-bf81121b58cb

Спасибо! Почитаю

Нотация Хиндли-Мильнера

Нотация Хиндли-Мильнера

не, у них другая ж

они классическую запись Гильберта юзали

или я путаю?

ща могу ошибиться, но head это монада над типом a, где a - результат head

Судя по описанию, нет [a] → a | Undefined String → String

Тогда так же непонятно что именно можно пихать в chain, а что нет )

а что здесь противоречащего?)

А где видно что это монада?

Или ты имеешь в виду, что описание неполное?

по объекту так не скажешь монада он или нет, важно как над объектом определен chain

Так, в итоге, исходя из чего я могу знать, какие методы можно пихать в чейн, а какие нет?

сек

для функций chain определен как return function(x) { return fn(monad(x))(x); };

т.е. функция A -> B является m B

Это значит что можно пихать любую ramda-функцию?

и тогда первым аргументом должна быть функция B -> m C

просто любую функцию

ок, интересно!

там важна связь пары fn и monad

почему-то об этом в документации библиотеки не сказано ничего :/

все в типе

В каком месте в типе говорится о том, что вторым аргументом может идти просто любая функция? Chain m => (a → m b) → m a → m b

m a ж :)

Это же означает что это монада с типом а А не просто любая функция

ну так все правильно

просто так совпало, что некоторые функции тож монады

Так head не монада, судя по его документации

тут такое замкнутое определение

монада это все, что можно чейнить

А в документации head не видно что его можно чейнить

это функции, списки и то, что соответствует спеке fantasy-land

всем привет. Вероятно есть какой-то паттрн, или это не правильный путь

Maxim Shammasov, [29.04.17 16:12] Maxim Shammasov, [29.04.17 16:10] выбрать каррирование для селекта по криетриям или передавать объект критериев Maxim Shammasov, [29.04.17 16:11] в идеале конечно вижу что-то типа Maxim Shammasov, [29.04.17 16:11] select({prop1: 1, prop2:2}) == select({prop1:1})({prop2:2}) Maxim Shammasov, [29.04.17 16:11] вероятно есть какой-то паттерн

Maxim Shammasov, [29.04.17 16:15] эм... я юзаю typescript и у меня функция вроде select(pattern: {prop1?:string, prop2?:number}) Maxim Shammasov, [29.04.17 16:15] с запоминанием названий полей проблем нет Maxim Shammasov, [29.04.17 16:15] просто хотелось бы вызвать частично применённую функцию, а иногда со всеми критериями

это функции, списки и то, что соответствует спеке fantasy-land

То-есть, в таком определении Chain m => (a → m b) → m a → m b "m a" ВСЕГДА означает монаду либо ЛЮБУЮ функцию?

короч да, любая функция монада

короч да, любая функция монада

Ок, не знал

А в каких случаях этот chain может быть удобнее, например, pipe?

Чейн — это "сделать map, массивы результатов — объеденить"

Ща пример скину, там прям очевидно)

Ну я уже примерно представляю ) Как минимум преимущество в возможности прокидывания коллекции-аккумулятора через цепочку обработчиков

Ага

f({a:1, b:2, c:3}) === f({a:1})({b:2, c:3}})

есть ли такой паттерн ?

где вдохновиться, или это бред

curry

сорри ) нет )

Ну я уже примерно представляю ) Как минимум преимущество в возможности прокидывания коллекции-аккумулятора через цепочку обработчиков

https://github.com/zerobias/telegram-mtproto/blob/feature/config-provider/src/util/log/index.js#L57 chain(split(',')) — это получить массив строк, разделить их и вернуть опять массив строк)