Блин, где можно об этом всем почитать с хорошими примерами, без тонны воды

про adt у меня https://t.me/kanaflow)

@xgrommx а ты все из своего списка читал?)

да) но по 1 разу)

жесть)

что за список?

Блин, где можно об этом всем почитать с хорошими примерами, без тонны воды

пойми что все что ты делал в математике, множествах, логике есть изоморфно в адт (незря они так называются)

что за список?

https://github.com/xgrommx/awesome-functional-programming/blob/master/README.md

а

верну это и сюда)

https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types http://chris-taylor.github.io/blog/2013/02/10/the-algebra-of-algebraic-data-types/ http://chris-taylor.github.io/blog/2013/02/11/the-algebra-of-algebraic-data-types-part-ii/ http://chris-taylor.github.io/blog/2013/02/13/the-algebra-of-algebraic-data-types-part-iii/

список-то небольшой же

полагаю, каждый в день по 2-4 поста или статьи с доки прочитывает, за пару месяцев список подлиннее будет

у меня в загашниках очень дофига еще)

мб добавлю в список

например очень много нового по рекурсивным схемам

как в hindley milner type system обозначать Side Effects? например для такой функции:? const log = (data) => (console.log(data), data);

IO

ну если не юзаю

ток это не связано с HM

но приходить выбрасвывать побочку

никак?)

как в hindley milner type system обозначать Side Effects? например для такой функции:? const log = (data) => (console.log(data), data);

RealWorld

как в hindley milner type system обозначать Side Effects? например для такой функции:? const log = (data) => (console.log(data), data);

log :: forall e. Eff ( console :: CONSOLE ) e

const initServices = service => update('services', map(config => new Apicase({ ...config, parent: service })), service) Как можно упростить? Хочу избавиться от аргумента

бля, так плохо видно, ща

вообще много подобных мест, где нужно к аргументу обратиться, и теряется красота

внутри мапа что-то похожее на мёрж творится

Ага

initService что-то похожее на over

та мне вторую функцию упростить бы

Но я смысл всё равно не оч улавливаю

over - да, но это менее красиво

хотя не

ты в поле сервис записываешь функцию над всем объектом

суть в чем это тип дерево services по нему надо пробежаться и всем сделать new Apicase с отсылкой на родителя

с over это будет выглядеть вот так

и мне не нравится

мейби есть какой-то паттерн тут, получается, вызвать первую функцию с аргументом, а вторую с аргументом + результатом первой

з.ы. не умею писать формулками

ну я вообще про линзовый овер говорил

ну он здесь не поможет

chain для структуры плюс Writer

chain для структуры плюс Writer

я слабо шарю в терминологии пока что

шо за writer

Ну такой ADT, позволяющий записывать в себя данные

А chain — потому что всегда можно объявить в объекте метод .chain (и .map заодно) и тогда point free метод из рамды будет использовать именно его

суть в чем это тип дерево services по нему надо пробежаться и всем сделать new Apicase с отсылкой на родителя

в твоём коде не видно дерева

объект с ссылкой services на список каких-то объектов каждому из которых ты даёшь ссылку на парента

pick / defaults — это просто мердж

pick / defaults — это просто мердж

лишнее отсечь

чтобы не писались какие-нибудь {vasya: 'lol'}

что за либа используется?

откуда update

lodash/fp

https://gist.github.com/jfmengels/6b973b69c491375117dc#_updatepath-updater-object

ну в лодаше такой хуйни точно нет, так что я дописал метод

ну я бы ввёл функцию twice = (f, a) => f(a, a)

и тогда initServices = flow(update('services', mapInitServices, twice))

примерно так

хотя мб нет

эм

нет

энивей это слишком простой путь

ERROR: S client not available

просто - плохо?)

ну конечно

а что тут плохого

так каждый простак поймёт

нужно на фп дрочить

можно усложнить

раз уж ты начал

добавить возможность больше двух функций

и чтобы они все выполнялись с результатом первой

+ сам аргумент

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

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

пиздатая маза)

но пока что не об этом речь

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

тут путаницы нет

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

Плюсую

та функция - запутанная, соглашусь но как по-другому, окей?

Когда делаешь что-то хитрозакрученное, то как правило это означает что ты просто занимаешься не тем

ну эти всякие new, и то что функция спускается на одну глубину всего лишь

ну эти всякие new, и то что функция спускается на одну глубину всего лишь

не на одну

раз уж ты начал

У нас было 2 монадический ридера, 75 различных функторов, 5 пачек стейтов, полсолонки аппликатива и целое множество натуральных преобразований всех сортов и расцветок. Не то чтобы это был необходимый запас для программирования, но если начал использовать монады, становится трудно остановиться. Единственное, что вызывало у меня опасение — это лисп. Ничто в мире не бывает более беспомощным, безответственным и порочным, чем коммон лисп. Я знал, что рано или поздно мы перейдем и на эту дрянь.

в new так же вызывается

оу

логика в new

проблема растёт из того что функции юзающие твоих чайлдов должны иметь ссылку на парента

такое в жизни бывает

окей, могу убрать new, если он тебя так смущает

и если серьёзно то лучше напиши без флоу, ну максимум с map

Что значит без флоу ???? А, ты про метод, да, лучше без него

и если серьёзно то лучше напиши без флоу, ну максимум с map

че