2 новых))

комбинатора

Их точно нет в fantasy-birds?)

нет

я даже монадку вывел через комбинаторы

жесть))

в твитер выложил доказательство)

chain = B(B(W))(B)

https://twitter.com/xgrommx/status/823648079828185088

Офигеть

Где можно вот это вот все изучить

О чем вы тут общались

Я нифига не понимаю

начать учить)

это же просто изоморфизмы логике 1 порядка

Бля

Название тоже не понятное нихуя

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

Комбинаторная логика Так нагуглю?

?

https://gist.github.com/claritify/da9c427043336d0ff9dfbddab9fb3d0b

так?

Комбинаторная логика Так нагуглю?

так нагуглишь) https://github.com/xgrommx/awesome-functional-programming#combinators

Где можно вот это вот все изучить

Зайти к нему в репозиторий, там у него список есть.

Спасибо, ребят

let почему используешь?

на const просто поменять забыл

на const просто поменять забыл

Линтер в помощь

?

я кстати для такой штуки придумал когда-то давно traverse но для объекта https://gist.github.com/claritify/da9c427043336d0ff9dfbddab9fb3d0b#file-gistfile1-txt-L29-L34

?

вот эта наркомания https://jsbin.com/lonexec/7/edit?html,js,console

я кстати для такой штуки придумал когда-то давно traverse но для объекта https://gist.github.com/claritify/da9c427043336d0ff9dfbddab9fb3d0b#file-gistfile1-txt-L29-L34

Не ты один))

ну хз)) я ни кого не подсматриваю))

?

https://twitter.com/lexi_lambda/status/866874490587721728

https://github.com/lexi-lambda/hackett

баян

ребзя привет помогите переписать на фп

reduce?

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

А можешь кодом скинуть

reduce?

maximum call stack size exceeded

в репле

ща

https://repl.it/Ikoe/0

так норм? :

https://repl.it/Ikov/1

children ;)

какая вообще задача была?

children ;)

+ точно

какая вообще задача была?

выбрать всех детей глубокого списка)

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

reduce?

спасибо)

Если кто-то напишет статью о том, как понимать эту доку, тот много лайков соберет, я думаю.

а вот и она https://medium.com/devschacht/functional-reactive-ninja-function-type-signatures-in-javascript-283fe7cd6211

чо?

блин, я хотел показать, что я месяц назад написал сообщение, что нужна такая статья

и вот, вселенная меня услышала

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

мне тогда уже посоветовали

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

да и https://github.com/ramda/ramda/wiki/Type-Signatures

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

это же хорошо

срань

сноб

ERROR: S client not available

хочешь понять алгоритм

да, я знаю, о чем ты

про произвольные теоремы впервые услышал

произвольные?

[p

Free theorems может?

хз что там было

да наверное

это Вадлер написал

про применение типов вроде ничего не написано

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

вроде тут Кметт показал https://www.schoolofhaskell.com/user/edwardk/snippets/fmap

в хаскел законы где-то доказываются? они же просто так для памятки пишутся

ну я находил такое https://github.com/nomeata/ghc-proofs

есть еще процесс инхабитации когда по типу выводится тело функции

для автоматизации есть Djinn

бля что?!!! Произвольные теоремы

а Free Monad будет просто Произвольная монада?

ебань, а не перевод

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

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

а ещё про ограничение на тип ничего не написано

ты про жирную стрелку?)

ну там Ord например

да, это restriction

все, что я видел от devschacht есть переводы и при том не особо удачные

немного про свободные структуры https://drive.google.com/file/d/0B51SFgxqMDS-NDBOX0ZDdW52dEE/edit

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

ну интуитивно представлял их как бесплатные

а вот и она https://medium.com/devschacht/functional-reactive-ninja-function-type-signatures-in-javascript-283fe7cd6211

>ninja курва мач, зачем они постоянно нинжу пихают!?

Тип который написал статью так подписывается. https://hackernoon.com/@lunasunkaiser

фанкшианал хуяктив