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

С точки зреня структур с итераторами они кстати иммутабельны, так как всегда вернут новый массив class Cons<T> { head: T tail: Cons<T> * [Symbol.iterator](){ yield this.head yield* this.tail } }

ну это довольно очевидно, речь была не сколько про паттерн, сколько использование Map/Set

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

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

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

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

Единственное что не хватает - это какого-нибудь способа добиться идемпотентности при повторяющихся операциях. Это жутко медленно если рассматривать это в отрыве от контекста

Но в реакте так выходит, что это гораздо выгоднее, чем получить ререндер. Делать поддержку идемпотентности - значит вникать в Hash Trie, к этому я пока не оч готов)

То есть короче после того как иммутабельность уже как данность, то начинает хотеться идемпотентности ? Когда два фильтра по одному массиву дадут одинаковый (===) результат

здравствуйте, это здесь координируются порядочные анимубляди?

здравствуйте, это здесь координируются порядочные анимубляди?

Да, здесь.

Да, здесь.

тогда я к вам, поставлю свою картонную коробку дом рядом с забором и буду охранять парк, вы не против? http://img1.ak.crunchyroll.com/i/spire2/0cac78da6be9ac146ac155d894cef8b01439824871_full.png

Иди нахер со своим аниме

АХАХАХА

Зига

Иди нахер со своим аниме

https://pm1.narvii.com/6066/92c1e48bec0e40141ad53a2f12de6134c8f4986f_hq.jpg как скажешь, господин

Кстати, а где искать инфу по всяким комонадам, линзам, морфизмам и прочим hk-штуковинам? Хотелось бы, чтобы было и разжевывание самой абстракции и хоть пример где IRL ее втыкать

Кстати, а где искать инфу по всяким комонадам, линзам, морфизмам и прочим hk-штуковинам? Хотелось бы, чтобы было и разжевывание самой абстракции и хоть пример где IRL ее втыкать

https://github.com/xgrommx/awesome-functional-programming

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

а то все либо в математику скатывается, либо в "ну это же зигохистоморфный препроморфизм хули ты тупишь"

https://github.com/xgrommx/awesome-functional-programming

действительно, awesome list

а то все либо в математику скатывается, либо в "ну это же зигохистоморфный препроморфизм хули ты тупишь"

Вот я читаю ща про free applicative и не могу понять, можно ли с помощью него попроще парсить JSON, замутив себе этакий client-side GrahpQL или нет

Вот я читаю ща про free applicative и не могу понять, можно ли с помощью него попроще парсить JSON, замутив себе этакий client-side GrahpQL или нет

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

типа определить endpoint's моей развесистой апишки, какие данные туда посылать, какие из них возвращаются, а потом просто говорить: нужны вот эти ребята, срочно и вуаля - он уже куда надо сходил, что надо обьеденил

но эт наверное слегка жирновато

типа определить endpoint's моей развесистой апишки, какие данные туда посылать, какие из них возвращаются, а потом просто говорить: нужны вот эти ребята, срочно и вуаля - он уже куда надо сходил, что надо обьеденил

что за черный ящик?

?

он уже куда надо сходил, что надо обьеденил

ты что думаешь что программирование работает по взмаху палочки Гарри Поттера?

ну и вопрос

зачем тебе свободные аппликативы?

зига, охлади

вот в том то и дело, что я не очень понимаю, зачем они нужны, кроме как для того чтобы "было как во free monad, но параллельно"

ты что думаешь что программирование работает по взмаху палочки Гарри Поттера?

конечно, все программисты так думают

вот в том то и дело, что я не очень понимаю, зачем они нужны, кроме как для того чтобы "было как во free monad, но параллельно"

это вообще подразумевает под собой аппликатив

а не только свободный

ты что думаешь что программирование работает по взмаху палочки Гарри Поттера?

а че так не работает что ли?

я че-то нажала и оно само

это вообще подразумевает под собой аппликатив

Вот такого я не знал

вот о чем я и говорю, IRL не очень понятно что дает (<*>) :: f (a -> b) -> f a -> f b

вот о чем я и говорю, IRL не очень понятно что дает (<*>) :: f (a -> b) -> f a -> f b

а из типа не понятно?

An applicative is a lax monoidal strong functor

окей, не на примере Maybe поясни, какие плюшки от аппликатива?

окей, не на примере Maybe поясни, какие плюшки от аппликатива?

валидации всякие

поинт фри)

когда впадляк такое писать f (g x) (v x)

ну например ZipList

когда впадляк такое писать f (g x) (v x)

то получится f <$> g <*> v?

с его помощью легко сделать transpose матрицы

то получится f <$> g <*> v?

ага или с хелпером liftA2 f g v

аппликативы вроде МакБрайд принес

почитай его пейпер

http://www.staff.city.ac.uk/~ross/papers/Applicative.pdf

я IRL просил)

что такое IRL?

применение в рабочем проекте

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

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

ну так поясни нам)

еще я помню в parsec аппликативы

вообще все это должно быть на интуитивном понятии) просто видишь, вот тут лучше аппликатив и юзаешь его без фанатизма)

вот ты часто юзаешь traverse/sequence?

ну так поясни нам)

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

и я всетаки настоятельно советую пройти 2 курса на степике

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

хм

ERROR: S client not available

и я всетаки настоятельно советую пройти 2 курса на степике

какие-то конкретные?

их 2

по хаскелл

или любые подойдут??

от Москвина

окей, погляжу, спасиб

так как тут любят объяснять в контексте жс, то есть статья как валидировать реакт формы с помощью аппликатива

я жс не люблю, но все равно скидывай

а что любишь?

честно, мне пока больше всего нравится F#

тыкал все)

скалы жавы ф шарпы си шарпы и дохуа еще чего

я жс не люблю, но все равно скидывай

https://medium.com/javascript-inside/form-validation-as-a-higher-order-component-pt-1-83ac8fd6c1f0 https://medium.com/javascript-inside/form-validation-as-a-higher-order-component-pt-2-1edb7881870d

бросайте котлин https://eta-lang.org/

бросайте котлин https://eta-lang.org/

слоупок?

паходу

А думал самый умный

да лол

там ещё вроде второй такой язык был

pony

там ещё вроде второй такой язык был

нет, просто переименовали

нее

там ещё вроде второй такой язык был

koka

koka

это не про то

frege

meme

А еще есть http://www.ocamljava.org

ужас

вот ты часто юзаешь traverse/sequence?

Я бы постоянно юзал, если бы мог типизировать стабильно)

frege

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

etalang это как ghcjs только для jvm

ну близко же