A64m
optics
A64m
после того, как я прорекламировал еще аж целых 3 звезды прибавилось
A64m
(самому мне она не понравилась, правда)
Alexander
@A64m_qb0 а можешь ссылку дать ещё раз?
A64m
https://github.com/well-typed/optics
Зигохистоморфный
а что тут в ней такого?
Vadim
о Хикки уже все сказано https://thedeemon.livejournal.com/87320.html
ребят, подскажите книжку чтобы понимать все эти котоморфизмы, комбинаторы неподвижной точки
A64m
там ван-лаарховеновские линзы обернуты
Зигохистоморфный
ребят, подскажите книжку чтобы понимать все эти котоморфизмы, комбинаторы неподвижной точки
разобраться с рекурсивными схемами у Кметта (у него Base это обощение для Fix)
Зигохистоморфный
ребят, подскажите книжку чтобы понимать все эти котоморфизмы, комбинаторы неподвижной точки
ну и тут у меня немного материала) https://github.com/xgrommx/awesome-functional-programming/blob/master/rsfa.md
Vadim
а есть какая то книжка по типу lyah?) для тупых
Зигохистоморфный
там ван-лаарховеновские линзы обернуты
ну его линзы не требуют ограничение на профунктор
Зигохистоморфный
я еще не придумал как написать gmutuM
Зигохистоморфный
и gcomutuM
Зигохистоморфный
посоветуй тогда с чего начать)
вообще с Бартоша, дойти до F-algebras у него (а не просто прыгнуть туда)
Anonymous
Плюсую к Бартошу
Зигохистоморфный
посоветуй тогда с чего начать)
тут немного
https://anton-k.github.io/ru-haskell-book/book/15.html
https://anton-k.github.io/ru-haskell-book/book/16.html
Vadim
Bartosz Milewski ?
Зигохистоморфный
да
Vadim
а что именно у него?
Зигохистоморфный
а лучше самому построить начиная с коммутативного квадрата гомоморфизмов и потом просто перейти в категорию ф алгебр
Vadim
есть название?)
Евгений
Вы опять мне напоминаете, что нужно написать о том, что Hask это DCPO_|_-enriched категория
Евгений
:(
Anonymous
Ну и книжка… Он закончил уже её?
Зигохистоморфный
ну категория ф-алгебр особенная =)
Зигохистоморфный
да
Anonymous
Круто!
Зигохистоморфный
ну и еще пейперы Вармо Вене почитать
Зигохистоморфный
а также труд Мейера
Зигохистоморфный
как там проволока, свертки и все такое
Зигохистоморфный
У Кабанова труд как перейти от хистоморфизма к диноморфизму
Зигохистоморфный
доклады на ютуб от Greg Pfeil тоже очень крутые
Denis
> Hask это DCPO_|_-enriched категория
у меня иногда впечатление бывает что ФГМ-enriched
Зигохистоморфный
Denis
вы же любите непонятные слова, вот и исследуйте!
Евгений
http://lurkmore.to/%d0%a4%d0%93%d0%9c
Зигохистоморфный
https://github.com/strake/lenz.hs
Зигохистоморфный
11 года ... https://www.twanvl.nl/files/lenses-talk-2011-05-17.pdf
A64m
"I have no issue with functional programming, but every time I try to use Haskell for something non-trivial I quickly fail
I'm not a stranger to haskell, I've read LYAH more than once, Haskell From First Principles, and played around a ton. I do most of my programming in Clojure and Scala (sometimes w/ cats).
I mainly focus on FP in lisps (emacs, cl, clj/s) and it feels VERY natural and 'at-home'.
I've also used Elixir, Elm, and everything else is standard/boring Java, Js, etc.
Category theory isn't spooky to me, I'm comfortable with the spooky monad magic and types and stuff b/c my times in Scala, but Haskell just keeps bouncing off of me.
So I have some questions.
If all of the functional wizardry that usually spooks people away from Haskell isn't foreign, and I am still for some reason unable to fully utilize Haskell, wtf am I missing?
Should I read more? How did you guys learn?"
НО ЗАЧЕМ? Зачем он хочет преодолеть это сопротивление? Чтоб потом пропозалы о запрещении рекурсии в хаскеле писать?
Зигохистоморфный
о! нашел какие-то лекции https://www.lektorium.tv/lecture/13899
A64m
Мы его пока еще не знаем, но, возможно, в будущем он нам еще покажет
Зигохистоморфный
https://github.com/justinwoo/records-fields-pairwise
Leonid 🦇
сорян за оффтоп: опытные линуксойды, поясните почему не все либы из RUNPATH цепляются, но если сунуть RUNPATH из бинаря в LD_LIBRARY_PATH, то ldd всё находит?
Leonid 🦇
потому что он в RUNPATH не у того файла.
Aragaer
что такое RUNPATH?
Alexander
rpath ?
Leonid 🦇
RPATH задепрекейчен
Alexander
-rpath имелось ввиду
Leonid 🦇
из-за приоритета поиска. RPATH > LD_LIBRARY_PATH > RUNPATH
Alexander
или что там компилятору выдается
Leonid 🦇
ну если свежий то -rpath делает RUNPATH. если нет, то еще флаг нужно линкеру
Leonid 🦇
@aragaer это запись в бинаре со списком директорий в которых искать либы
Aragaer
мхм
Aragaer
https://en.wikipedia.org/wiki/Rpath#GNU_ld.so
Aragaer
rpath и runpath это еще и разные вещи
Aragaer
The ld dynamic linker does not search DT_RUNPATH locations for transitive dependencies, unlike DT_RPATH.
Aragaer
так что дело даже не в приоритете
Leonid 🦇
Вот скотина
Leonid 🦇
Теперь рендерман в своём серчпафе не ищет плагины :( как же я ненавижу проприетарный софт
Нурлан
Ноябрь 30 - Спб - fprog-spb https://spb-fp-meetup.timepad.ru/event/602928/
Декабрь 2 - Москва fpconf http://fpconf.ru/
Декабрь 17 - F(by) Conf http://fby.by
а не дороговато ли для энтузиастов 5000рэ за билет?
Евгений
Так много желающих? 😆
Cheese
для меня не дороговато, например
Нурлан
честно хотел даже сходить, пока ....
Нурлан
собстна хотел послушать Дениса Шевченко, ну надеюсь выложат куда-нибудь =)
Cheese
есть беспроигрышный рецепт, как зарабатывать на билеты на конференции — работать программистом в Москве
Нурлан
видимо я так себе программист
Нурлан
соррян
Нурлан
Cheese
я верю, что все в этом чате — крутые программисты, но не все просят хорошую зарплату
Евгений
Вообще говоря это очень дешево, конечно. Хайлоад стоил под 20 штук
Евгений
я верю, что все в этом чате — крутые программисты, но не все просят хорошую зарплату
Я не программист, я бы попросил
Cheese
ICFP больше штуки долларов