[
Всего 390 страниц, книжку я получил совершенно внезапно и как раз сейчас распрашивал на тему того, стоит ли её читать
Size: a a a
2021 April 05
AT
Всего 390 страниц, книжку я получил совершенно внезапно и как раз сейчас распрашивал на тему того, стоит ли её читать
Судя по наличию упражнений, это учебник. Думается, если ни про оптику, ни про Haskell Вы ещё ничего не знаете — должен хорошо зайти. Особенно если не поленитесь эти самые упражнения выполнять. 😉
[
Про хаскель знаю прям самые-самые азы (ну, да, по сути можно сказать, не знаю) типа "что такое монады и зачем нужна do-нотация"
ВМ
LOL what? 😂
Почитайте на досуге код библиотеки lens известного C++-программиста Эдварда Кметта. 🤣
Почитайте на досуге код библиотеки lens известного C++-программиста Эдварда Кметта. 🤣
а я же пошёл гуглить, а это хаскелит и либа для хаскеля!
AT
а я же пошёл гуглить, а это хаскелит и либа для хаскеля!
Либа-то для Хаскеля, но Кметт-то — известный C++ник! 😂
AT
а я же пошёл гуглить, а это хаскелит и либа для хаскеля!
Кстати, на C++ + OpenGL он тоже какое-то безумие вытворял, как мне помнится... 😉
AT
Про хаскель знаю прям самые-самые азы (ну, да, по сути можно сказать, не знаю) типа "что такое монады и зачем нужна do-нотация"
А что "монада — это моноид в категории эндофункторов" понимаете? 😉
[
Хоть у меня и заложен нос, но пахнет теорией категорий...
AT
Могу Вас обрадовать: по-видимому, у Вас не ковид. 😂
ВМ
https://arxiv.org/pdf/1809.00738.pdf а это норм папирус на тему?
ВМ
я так понимаю чтобы его читать надо свободно читать теорию категорий для работающих математиков)
[
Не. у меня извечная аллергия на весну. Насколько важно для понимания всех этих хаскельных концепций ознакамливаться с теоркат? Я видел на хабре перевод серии статей, называется вроде "теория категорий для программистов", если практический смысл учить это существует, думаю, ознакомлюсь.
AT
Это смотря каких концепций. Поскольку оптика профункторная, то для неё теоркат совсем не лишний. С другой стороны, я теоркат почти не знаю, что не помешало научиться оптикой пользоваться. 😂
AT
"Не норм", в том смысле, что это статья по теории категорий, а не про оптике как таковой. И уж точно не по "оптике для программистов".
s
Ммм, ещё одно напоминание, что надо бы вникнуть в [ко]концы.
AT
И [ко]пределы в целом, ага... 😒
s
Ну с пределами я всё-таки знаком.
ВМ
Далеко далеко на лугу пасутся ко... кодомены!
s
Коконусы.
AT
Так я про себя написал. 🤷♀️