Vasiliy
ну и оригинальный пейпер, собственно
Зигохистоморфный
https://github.com/xgrommx/awesome-functional-programming/blob/master/rsfa.md
Aleksei (astynax)
@xgrommx ну вот! У тебя уже есть ссылка на "Бананы, ..."
Зигохистоморфный
прикол что Кметт обобщил Fix до базового неподвижного функтора через Base RecType = Type
Зигохистоморфный
http://blog.sumtypeofway.com/ http://duplode.github.io/posts/whats-in-a-fold.html https://monad.cat/posts/2016-05-10-barbed-wire.html
apo,cata,ana,para покрыты везде, а вот всякая экзотика типа zygo,prepro,postrpo... почти нигде не находил
Aleksei (astynax)
Так там просто мнемоника срабатывает, не?
Зигохистоморфный
кстати про бананы http://blog.ezyang.com/2010/05/bananas-lenses-envelopes-and-barbed-wire-a-translation-guide/
Зигохистоморфный
Так там просто мнемоника срабатывает, не?
ну prepro,postpro это таже ката ана только в начале еще натуральное преобразование
Aleksei (astynax)
вот тебе и мнемоника :)
Зигохистоморфный
но есть еще всякие gCata это general version cata
Зигохистоморфный
и еще сложнее
Зигохистоморфный
вот Кметт как всегда кучу всего написал https://www.stackage.org/haddock/lts-9.0/recursion-schemes-5.0.2/Data-Functor-Foldable.html а как все это юзать не выложил)
Зигохистоморфный
это же жесть https://www.stackage.org/haddock/lts-9.0/recursion-schemes-5.0.2/Data-Functor-Foldable.html#v:grefold
Зигохистоморфный
вот кто может рассказать про Elgot и CoElgot
Aleksei (astynax)
Кметту а) не интересно выкладывать примеры б) он считает, что из кода всё понятно в) и что те, кто добрался до этого пакета, всяко способны осилить самостоятельно
Aleksei (astynax)
Кметт успевает только писать пакеты, на туториалы по ним нет времени
Aleksei (astynax)
"Нужно бежать только для того, чтобы оставаться на месте. Чтобы двигаться вперед, нужно бежать ещё быстрее!" (с)
Aleksei (astynax)
"Нет времени объяснять! Хватай новый пакет!" :)
Зигохистоморфный
ну вот я покрыл только ana/anaM, cata/cataM, para/paraM, apo/apoM
Зигохистоморфный
а там еще дофига чего)
Зигохистоморфный
"Нет времени объяснять! Хватай новый пакет!" :)
ну если почитать его блог, то он давно этими схемами занимается у него еще есть category-extra
Aleksei (astynax)
а там еще дофига чего)
Вот видишь - на одни только туториалы и то времени не хватает, а надо схемы ещё и применять!
Aleksei (astynax)
ну если почитать его блог, то он давно этими схемами занимается у него еще есть category-extra
Кметт конкурентный, он сразу всем занимается. Ещё и 3D-демки пописывает на шейдерах
Зигохистоморфный
это все что он написал)) в объяснения http://comonad.com/reader/2009/recursion-schemes/
Aleksei (astynax)
да, и ссылки на "самоочевидный код"
Зигохистоморфный
но у Кметта еще мало чего) тут вообще адок https://github.com/slamdata/matryoshka
Зигохистоморфный
ну и https://github.com/slamdata/purescript-matryoshka
Евгений
Гугл по recursion-scheme только библиотеки кметтовские выдаёт :(
В чём суть и где про основы почитать?
Зигохистоморфный
Гугл по recursion-scheme только библиотеки кметтовские выдаёт :(
В чём суть и где про основы почитать?
изначально все отсюда пошло
Bananas, Lenses, Envelopes and Barbed Wire
Зигохистоморфный
Гугл по recursion-scheme только библиотеки кметтовские выдаёт :(
В чём суть и где про основы почитать?
есть аннотации когда будешь читать что это в haskell http://blog.ezyang.com/2010/05/bananas-lenses-envelopes-and-barbed-wire-a-translation-guide/
Aleksei (astynax)
матрёшку делают по мотивам кметтотворений, так что
> но у Кметта еще мало чего
странно звучит :)
Зигохистоморфный
ну и тут http://anton-k.github.io/ru-haskell-book/book/16.html
Зигохистоморфный
матрёшку делают по мотивам кметтотворений, так что
> но у Кметта еще мало чего
странно звучит :)
ну ты видел сколько там всего?)
Aleksei (astynax)
Просто скалка - вербозная
Alexander
можно ли нубу гдето хаскель программистом заделаться? Желательно с возможностью оплаты.
Влод
нет
Зигохистоморфный
ахаха https://github.com/tpoulsen/recursion_schemes/blob/master/lib/recursion_schemes.ex#L101
Влод
обычно в хаскель вакансиях требуется чтобы человек был выдающийся ещё во многих других областях
Dmitry
в области жима от груди
Dmitry
меньше 120 не берут
Евгений
ну и тут http://anton-k.github.io/ru-haskell-book/book/16.html
Это кардинально расходится с тем, как принято в Curry-Howard-Lambek correspondance моделировать типы в категориях.
Я привык к тому, что тип это subobject
Alexander
хорошо, а из других языков функционального программирования?
Dmitry
ответ - иногда можно
Евгений
Реальность такова, что чтобы попасть на работу в области, где нет дефицита рабочей силы, требуется иметь навыки большие, чем нужно для выполнения 90% работы
Евгений
Правда всегда есть возможность блата
Dmitry
но нубу может быть стоит не воротить нос от прочих популярных яп, потому что шансов устроиться туда и перестать быть нубом как-то выше
Евгений
Хитрый план: пойти работать фронтендером и по-тихоньку внедрять purescript
Aleksei (astynax)
потихоничку внедрять purs в овебпаченные проекты на ангуляре - путь мазохиста
Зигохистоморфный
Хитрый план: пойти работать фронтендером и по-тихоньку внедрять purescript
сначала какую-то рамду, rx,most а потом потихоньку втащить elm/purescript/ghcjs
Влод
сначала какую-то рамду, rx,most а потом потихоньку втащить elm/purescript/ghcjs
Первые три сочетаются с последними?
Влод
Ладно. Ещё раз. На елм можно пользоваться рамдой?
Зигохистоморфный
Ладно. Ещё раз. На елм можно пользоваться рамдой?
у ельма своя рамда - это его std lib
Alexander
но нубу может быть стоит не воротить нос от прочих популярных яп, потому что шансов устроиться туда и перестать быть нубом как-то выше
да, но по функциональному программированию можно по прежнему остаться нубом.
Евгений
Ну мне кажется, что есть некий общий навык программирования
Евгений
К тому же 90% вакансий, где требуют хаскель, требует знать и ещё ворох ЯП'ов
Зигохистоморфный
вообще есть такая штука https://github.com/paf31/purescript-behaviors
Зигохистоморфный
еще и уравнения дифф решает)
Зигохистоморфный
https://github.com/paf31/purescript-behaviors/blob/master/test/Main.purs#L44-L58
Anonymous
Угу. Скалу, на которой ты будешь писать, например.
Anonymous
К тому же 90% вакансий, где требуют хаскель, требует знать и ещё ворох ЯП'ов
Alex
в хаскельных вакансиях обычно требуют в нагрузку какой нибудь перл или кресты
Dmitry
перл то кому сейчас мог понадобиться
Влод
ну "требуют перл" это ничего не значит
Влод
считай как "требуют баш"
Alex
есть даже фанаты 5го, лично видел
Leonid 🦇
без, как минимум, С в дополнение к любому ЯП можно только на яваскрипте фронтендить.
Alexander
си или C++?
Dmitry
си
Alexander
и какой сейчас минимум в этих языках?
Alexander
они же тоже на месте не стоят
Зигохистоморфный
как выразить bimap через dimap?
Alex
подозреваю что еще Strong нужен
Anonymous
https://github.com/paf31/purescript-behaviors/blob/master/src/FRP/Event.js#L22 - мда, а мог одно из событий в Behavior загнать.
Leonid 🦇
С по большому счёту стоит на месте, это плюсы разползаются