ana phi = Fix . fmap (ana phi) . phi

Ты типа сейчас из суммы список соберешь?)

ну почти)

fromOneToTen = ana (\x -> if x == 10 then NilF else ConsF x (succ x)) 0

для параморфизма я еще не сделал диаграммы) только на А4 у меня

Да, это понятно, интересно

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

на данный момент я потыкал это — cata/cataM — ana/anaM — apo/apoM — para/paraM — hylo/hyloM

Из-за того, что там второй аргумент конса жестко указан в списоу

мощь функтора это нечто

а особенно его алгебр

тут нет рекурсии instance Show t => Show (List t) where show = (<>"]") . ("["<>) . cata alg where alg NilF = "" alg (ConsF x []) = show x alg (ConsF x xs) = show x <> "," <> xs

но будет показано как обычный списко а не яд из Fix(ListF a)

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

https://hackage.haskell.org/package/fixplate-0.1.7/docs/Data-Generics-Fixplate-Morphisms.html

вот моя подборка (переодически подкидываю) https://github.com/xgrommx/awesome-functional-programming/blob/master/rsfa.md

для меня это эталон)

https://github.com/ekmett/recursion-schemes/

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

там вместо Fix,unfix есть более общее понятие embed,project стоит только сделать представителем Recursion,Corecursion

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

какого дерева?

просто например объекта с любой иерархической вложенностью

Да

не ограниченной

https://github.com/xgrommx/practical-functional-programming/blob/master/tree.js https://github.com/xgrommx/practical-functional-programming/blob/master/tree2.js https://github.com/xgrommx/practical-functional-programming/blob/master/tree3.js

Скажем, map смотрит на наличие метода map

Все по спеке

Спека - fantasy land

Скажем, map смотрит на наличие метода map

что это?

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

Траверс, но вообще у тебя уже чисто начинается кейс для partial

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

Траверс, но вообще у тебя уже чисто начинается кейс для partial

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

https://github.com/xgrommx/practical-functional-programming/blob/master/tree.js https://github.com/xgrommx/practical-functional-programming/blob/master/tree2.js https://github.com/xgrommx/practical-functional-programming/blob/master/tree3.js

Спасибо! Но вопрос был конкретно по рамда ) Так то я понимаю что написать все можно )

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

ну ни монадная и ни моноидная свертки там нет)

Это просто заполнение пробелов в знаниях по рамда )

Пишешь для своих типов метод map и рамда будет его использовать. Очевидно, что рамда не знает ничего про структуру твоих типов

А написать рекурсивный мап очень просто же

А написать рекурсивный мап очень просто же

Это да. Просто думал что б не велосипедить )

Фигово что рамда не поддерживает Symbol.iterator

@kana_sama permutations' = sortByM (\_ _ -> [False, True]) subsequences' = filterM' (const [False, True]) inits' = takeWhileM' (const [False, True]) tails' = dropWhileM' (const [False, True]) а вот эти все **M я сделал через рекурсивные схемы

fl >> es)

вот например takeWhileM takeWhileM' :: (Monad m) => (a -> m Bool) -> [a] -> m [a] takeWhileM' p = cata psi where psi = \case Nil -> return [] Cons x xs -> do flg <- p x if flg then (x:) <$> xs else return []

хитрая алгебра) psi :: ListF a (m [a]) -> m [a]

Почему ты так не любишь паттерн-мечтинг через аргументы?)

?

Лямбда-кейс конечно выглядит красиво, но...

Почему ты так не любишь паттерн-мечтинг через аргументы?)

а что такое?

Но все же лямбда-кейс не в стандарте

и ничего)

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

Но все же лямбда-кейс не в стандарте

я еще люблю ViewPatterns и часто их объединяю

foldr (\(head &&& length -> (k, v)) a -> (k ++ ":" ++ show v) : a) [] $ group $ sort ["a", "a", "b"]

кстати для катаморфизмов можно юзать фьюжн через композиции алгебр

@kana_sama https://twitter.com/xgrommx/status/833793370547961856

и да) тут параморфизм)

Блин, я только сейчас, после чтения mostly-adequate-guide наконец-то понял что все что делает chain, это всего-лишь flatMap для объекта Chain (правда функции как оказывается этот метод тоже рассматривает как Chain)

?

Блин, я только сейчас, после чтения mostly-adequate-guide наконец-то понял что все что делает chain, это всего-лишь flatMap для объекта Chain (правда функции как оказывается этот метод тоже рассматривает как Chain)

flatMap === chain

Не?

bind == flatMap == chain == (>>=)

Меня просто сбивало с толку, что функции этим методом тоже рассматривались как объект Chain. Вот я и не мог осознать что это flatMap

Хотя нет. Я был не прав. Это не flatMap. chain(a => a + 1, Maybe.Just(5)) //=> 6

Если бы был flatMap, то результат в любом случае был бы обернут в Maybe

что за хуйня?

Если бы был flatMap, то результат в любом случае был бы обернут в Maybe

Не

это рамда какая-то просто чепушная

А, то-есть это просто рамда некорректно пашет?

https://goo.gl/9YZ7j9

ERROR: S client not available

Хотя нет. Я был не прав. Это не flatMap. chain(a => a + 1, Maybe.Just(5)) //=> 6

Если бы на выходе был Just(6) то это была бы имплементация map

А это chain

Смотри, я даже не глядя угадал)

там нечего угадывать)

Просто жс без статических типов перекладывает на тебя ответственность за то, чтобы твои данные соответствовали декларации

flatMap же в любом случае должен вернуть тип контейнера. Не?

Например у стримов так

да тут и без статики должно было упасть

В частности, чтобы функция сама по себе возвращала Maybe

flatMap же в любом случае должен вернуть тип контейнера. Не?

Да

И ты нарушил эту декларацию

Ясно. Значит косяк рамды

К сожалению, за это тебе ничего не было)

Я не вижу тут косяка

Они должны по рукам бить

Зачем*

?

Более того, я вижу проблему если бы это было сделано иначе

Во многих других случаях бьют

Динамическая типизация на ровном месте не нужна

И хорошо что её тут нет, ещё в chain с map не хватает валидации прототипов, да

SANCTUARY

Они должны были использовать метод chain из контейнера например

Maybe.chain

Ха! Он так же косячит ))

Они должны были использовать метод chain из контейнера например

Ползать по прототипам?

в чем косяк-то)

лучше расскажите за вертикальную композицию пока не могу понять

а диагональная есть?

SANCTUARY

Ну вот да))

похоже на то что это композиция натуральных преобразований

точно!