кстати да, есть же колючая проволока! А ещё конверты и бананы с линзами :)

ну и оригинальный пейпер, собственно

https://github.com/xgrommx/awesome-functional-programming/blob/master/rsfa.md

@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... почти нигде не находил

Так там просто мнемоника срабатывает, не?

кстати про бананы http://blog.ezyang.com/2010/05/bananas-lenses-envelopes-and-barbed-wire-a-translation-guide/

Так там просто мнемоника срабатывает, не?

ну prepro,postpro это таже ката ана только в начале еще натуральное преобразование

вот тебе и мнемоника :)

но есть еще всякие 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

Кметту а) не интересно выкладывать примеры б) он считает, что из кода всё понятно в) и что те, кто добрался до этого пакета, всяко способны осилить самостоятельно

Кметт успевает только писать пакеты, на туториалы по ним нет времени

"Нужно бежать только для того, чтобы оставаться на месте. Чтобы двигаться вперед, нужно бежать ещё быстрее!" (с)

"Нет времени объяснять! Хватай новый пакет!" :)

ну вот я покрыл только ana/anaM, cata/cataM, para/paraM, apo/apoM

а там еще дофига чего)

"Нет времени объяснять! Хватай новый пакет!" :)

ну если почитать его блог, то он давно этими схемами занимается у него еще есть category-extra

а там еще дофига чего)

Вот видишь - на одни только туториалы и то времени не хватает, а надо схемы ещё и применять!

ну если почитать его блог, то он давно этими схемами занимается у него еще есть category-extra

Кметт конкурентный, он сразу всем занимается. Ещё и 3D-демки пописывает на шейдерах

это все что он написал)) в объяснения http://comonad.com/reader/2009/recursion-schemes/

да, и ссылки на "самоочевидный код"

но у Кметта еще мало чего) тут вообще адок 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/

матрёшку делают по мотивам кметтотворений, так что > но у Кметта еще мало чего странно звучит :)

ну и тут http://anton-k.github.io/ru-haskell-book/book/16.html

матрёшку делают по мотивам кметтотворений, так что > но у Кметта еще мало чего странно звучит :)

ну ты видел сколько там всего?)

Просто скалка - вербозная

Просто скалка - вербозная

я про количество операторов))

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

нет

ахаха https://github.com/tpoulsen/recursion_schemes/blob/master/lib/recursion_schemes.ex#L101

обычно в хаскель вакансиях требуется чтобы человек был выдающийся ещё во многих других областях

в области жима от груди

меньше 120 не берут

ну и тут http://anton-k.github.io/ru-haskell-book/book/16.html

Это кардинально расходится с тем, как принято в Curry-Howard-Lambek correspondance моделировать типы в категориях. Я привык к тому, что тип это subobject

в области жима от груди

эх... у меня только сотка)) но трицепс раньше было 140

меньше 120 не берут

хм. возможно мне стоит попробовать устроиться

хорошо, а из других языков функционального программирования?

ответ - иногда можно

Реальность такова, что чтобы попасть на работу в области, где нет дефицита рабочей силы, требуется иметь навыки большие, чем нужно для выполнения 90% работы

Правда всегда есть возможность блата

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

Хитрый план: пойти работать фронтендером и по-тихоньку внедрять purescript

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

Хитрый план: пойти работать фронтендером и по-тихоньку внедрять purescript

сначала какую-то рамду, rx,most а потом потихоньку втащить elm/purescript/ghcjs

сначала какую-то рамду, rx,most а потом потихоньку втащить elm/purescript/ghcjs

Первые три сочетаются с последними?

Первые три сочетаются с последними?

а что последний?

Ладно. Ещё раз. На елм можно пользоваться рамдой?

Ладно. Ещё раз. На елм можно пользоваться рамдой?

у ельма своя рамда - это его std lib

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

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

Ну мне кажется, что есть некий общий навык программирования

К тому же 90% вакансий, где требуют хаскель, требует знать и ещё ворох ЯП'ов

у ельма своя рамда - это его std lib

ну или например rx с purescript

ну или например rx с purescript

ну это есть

вообще есть такая штука https://github.com/paf31/purescript-behaviors

еще и уравнения дифф решает)

https://github.com/paf31/purescript-behaviors/blob/master/test/Main.purs#L44-L58

Угу. Скалу, на которой ты будешь писать, например.

К тому же 90% вакансий, где требуют хаскель, требует знать и ещё ворох ЯП'ов

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

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

ну "требуют перл" это ничего не значит

считай как "требуют баш"

есть даже фанаты 5го, лично видел

без, как минимум, С в дополнение к любому ЯП можно только на яваскрипте фронтендить.

си или C++?

си

и какой сейчас минимум в этих языках?

они же тоже на месте не стоят

как выразить bimap через dimap?

подозреваю что еще Strong нужен

https://github.com/paf31/purescript-behaviors/blob/master/src/FRP/Event.js#L22 - мда, а мог одно из событий в Behavior загнать.

С по большому счёту стоит на месте, это плюсы разползаются

Bimap через dimap - никак.

https://github.com/paf31/purescript-behaviors/blob/master/src/FRP/Event.js#L22 - мда, а мог одно из событий в Behavior загнать.

а что тут тебе не понравилось?)

Да как-то оно не вяжется с теорией FRP - события-то существуют только в определённые моменты. А здесь какая-то хитроумная конструкция. Видимо для того, чтобы поднять в аппликатив.

ну как бы да, чтобы сделать инстанс аппликатива

Проблема в том, что событие аппликативом не является. Он здесь, по сути, преобразовал их в behavior'ы (которые существуют в каждый момент времени), и хотя технически законы аппликатива должны работать - выглядит это хаком.

Проблема в том, что событие аппликативом не является. Он здесь, по сути, преобразовал их в behavior'ы (которые существуют в каждый момент времени), и хотя технически законы аппликатива должны работать - выглядит это хаком.

а что событие только функтор?

ах! у event нельзя выразить pure

Событие происходит во времени. Смысл складывать две чиселки-события, если они в разное время приходят?

Только если складыватель будет с защёлками

Но это уже не события какие-то получаются

ну выходит у Event только Functor у Behavior - Monad,Applicative,Functor

Это больше "значения во времени", которые помнят последние мгновенное значение и распространяют по сети подписчиков изменения. Тогда аппликативное применение будет производиться по изменению любого из аргументов (для других берутся последние значения)

но в purescript есть Apply и есть Applicative

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

нет события никакого. Есть MouseDown :: InTime Bool

"клик" - это уже обработка с состоянием