ну и изо

ща найду классный гайд

Не, я читал про это уже

На вики

Там рисунки хорошие

ты тут не один) http://dxdy.ru/post931190.html#p931190

ну так вот изоморфизм можно выражать через ф-алгебры

например Nat = List ()

Nat = Fix(Maybe)

это закон для NT

NT — natural transformation?

да

мне чет сначала windows NT в голову пришел)

http://anton-k.github.io/ru-haskell-book/book/15.html#естественное-преобразование

http://anton-k.github.io/ru-haskell-book/book/16.html

я по хаскеллю только haskellbook (не этот) до 6 главы прочитал)

советую книгу Антона

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

есть же еще всякие пара, апо

вообще хотите изврат то сделайте изоморфизм Черч - Обычный тип Черч - Черч

например черч список - список

Черч Пеано - Черч Мейби

newtype MaybeC a = MaybeC { runMaybe :: forall r. r -> (a -> r) -> r } deriving Functor

newtype BoolC = BoolC { runBool :: forall a. a -> a -> a }

type instance Base NaturalC = MaybeC

осталось написать инстансы для Recursive, Corecursive и cata, ana будет готова)

я юзаю Кметтовские recursion-schemes

но для начала можно type instance Base Natural = MaybeC

написать для этого инстансы

import Numeric.Natural

черч это про church encoding?

да

чем сложнее структура тем больше вылазит наружу Черч

например аппликативный левый фолд

https://www.stackage.org/haddock/lts-8.23/foldl-1.2.5/Control-Foldl.html#t:Fold

и мой изврат) https://github.com/xgrommx/practical-functional-programming/blob/master/beautiful-fold.js#L11

Кстати, то что я описал как пожелание к линзам (возможность выбора определенных элементов на произвольной глубине вложенности) судя по всему вполне реально реализовать на partial.lenses. Там есть операторы рекурсии. Так что, хоть это и совсем не querySelectorAll, но той же цели добиться можно. Хоть и строя для этого целые пути (зато произвольные и "автоматически").

ну и сколько вариантов надо будет пройти? ты просто хочешь рекурсивно бегать и тыкать?

Там разом можно применять модификатор ко всем найденным элементам

почитай что такое линзы

Twan van Laarhoven

https://github.com/ekmett/lens/wiki/History-of-Lenses

ну и классика https://www.twanvl.nl/blog/news/2011-05-19-lenses-talk

ну кстати можно же дойти до какого-нибудь массива в конце и применить map не совсем то что нужно, но в общем-то можно такие цепочки строить из сеттеров и мапов

ну кстати можно же дойти до какого-нибудь массива в конце и применить map не совсем то что нужно, но в общем-то можно такие цепочки строить из сеттеров и мапов

что ты имеешь ввиду?

Мб фигню сказал, дома проверю, скину

кстати еще

вроде все cata есть правые свертки

ну кстати можно же дойти до какого-нибудь массива в конце и применить map не совсем то что нужно, но в общем-то можно такие цепочки строить из сеттеров и мапов

Такое там вроде есть: https://github.com/calmm-js/partial.lenses#L-collectAs

Кстати, нашел-таки у них то, что искал (модификация по рекурсивному селектору) L.modify(flatten, x => x+1, [[[1], 2], {y: 3}, [{l: 4, r: [5]}, {x: 6}]]) // [ [ [ 2 ], 3 ], { y: 4 }, [ { l: 5, r: [ 6 ] }, { x: 7 } ] ]

Лол

Поясните что тут происходит

Как тут flatten работает

На слово flatten в данном примере не обращай внимание ) Это они там просто оператор так для примера назвали ) Так то это тут более подробно: https://github.com/calmm-js/partial.lenses#recursing

баньте

я видел некоторое дерьмо https://github.com/tpoulsen/recursion_schemes

https://t.me/joinchat/AAAAAD9SWO_tLd7rJ9S7Ig

там набег жсников

интересно, из-за чего

из-за того что я скинул сюда

ня

Поясните что тут происходит

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

Всё же такие убер-либы с триллионом кейсов надо раскрывать серией статей, просто доки маловато(

?

что ты имеешь ввиду?

короче [[1,2],[3,4]] & ix 1 %~ map (+1) что-нибудь такое. ну и далее комбинировать в мап запихивать следующие сеттеры. но меня самого такой расклад не впечатляет, тк мы ограничены однородными структурами вроде списков (для произведений вроде рекордов уже ничего не сделать) и глубина этих сеттеров всегда одинаковая и нельзя творить полный треш нашёл вот такую ссылку http://hao.codes/haskell-advent.html и ещё Data.Data.Lens в котором я не могу разобраться. Обожаю хаскель инфраструктуру за отсутствие примеров. думаю на хакедже есть спец модерация которая выпиливает излишние примеры из модулей. И ещё ограничение на название параметра типа в одну букву. Типа сказать Lens fromContainer toContainer fromT toT будет звучать глупо, как будто тебя в начальной школе оставляли на второй год

@kana_sama haskell for mac?

ERROR: S client not available

какой-то недоидрис)

https://github.com/gcanti/typelevel-ts

ну кстати можно же дойти до какого-нибудь массива в конце и применить map не совсем то что нужно, но в общем-то можно такие цепочки строить из сеттеров и мапов

Примерно это partial и делает, емнип

ну вон тот пример с помощью Plate не повторить: оно походу только извлекает

Кстати, нашел-таки у них то, что искал (модификация по рекурсивному селектору) L.modify(flatten, x => x+1, [[[1], 2], {y: 3}, [{l: 4, r: [5]}, {x: 6}]]) // [ [ [ 2 ], 3 ], { y: 4 }, [ { l: 5, r: [ 6 ] }, { x: 7 } ] ]

ну в общем то в динамическом языке мало чего тебя останавливает

@kana_sama haskell for mac?

где?

вот

не, это же hackage https://hackage.haskell.org/package/base-4.10.0.0/docs/src/GHC.IO.html

а

нет у меня денег на мак)

а что там за книга по идрис за 50 бачей?

https://www.manning.com/books/type-driven-development-with-idris

Всё же такие убер-либы с триллионом кейсов надо раскрывать серией статей, просто доки маловато(

Но вообще мне все-таки кажется, что если в проекте используется либа типа ramda, то случаев где необходимо использовать именно возможности partial.lenses остается крайне немного. Из всей своей многолетней практики я могу вспомнить лишь несколько моментов когда возможности этой либы были бы востребованы. Потому и удивился что кто-то потратил столько усилий на что-то крайне редко применимое.

Там, где нужна трансформация данных

Массовая валидация полей например

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

Массовая валидация полей например

Но которую не хочется делать рамдовским find например )

Лол, я не про формы ?

Я про структуры

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

А вот рекурсивность это да! Это незаменимая их фишка

swagger там какой-нибудь нагенерить

Но вообще мне все-таки кажется, что если в проекте используется либа типа ramda, то случаев где необходимо использовать именно возможности partial.lenses остается крайне немного. Из всей своей многолетней практики я могу вспомнить лишь несколько моментов когда возможности этой либы были бы востребованы. Потому и удивился что кто-то потратил столько усилий на что-то крайне редко применимое.

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

то есть вполне возможно что ты подходишь к решению задачи исходя из имеющихся знаний

>роб пайк

и не находишь применения линзам, тк в голове не вырабатались шаблоны их применения

то есть вполне возможно что ты подходишь к решению задачи исходя из имеющихся знаний

Давно пытался эту мысль ёмко сформулировать)

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

PCJ: ”I’ve never experienced a need for generics.” This experience is very much shared across a wide range of developers (myself included). If this anecdote keeps popping up, at what point does stop becoming "anecdotal" and start becoming "evidence" http://ift.tt/2gZDg55 http://ift.tt/2eKMxxi