Vladimir
Моё мнение заключается в том, что tardis и rstate не имеют практических применений, это всего лишь монадные обёртки, позволяющие сделать неявной автореферентность. Вот только зачем это делать?
Зигохистоморфный
Моё мнение заключается в том, что tardis и rstate не имеют практических применений, это всего лишь монадные обёртки, позволяющие сделать неявной автореферентность. Вот только зачем это делать?
в последней главе beginning haskell как раз про тардис
Vladimir
https://github.com/Apress/beg-haskell/blob/aaacbf047d553e6177c38807e662cc465409dffd/appendixB/src/Main.hs
Интересно, будет ли это оптимальнее, чем
uncurry zip . (scanl1 (+) &&& scanr1 (+))
Anatolii
пацаны, а мне cabal new-repl
cabal: failed to parse output of 'ghc-pkg dump'
Anatolii
выдал
Alexander
там вроде его как-то очистить надо
Alexander
это вроде объявлялось
Alexander
@chshersh я вроде там пофиксил все, пойду дальше контейнеры с бекпаком ломать, а то бекпака не знаю
Alexander
может если найдет вдохновение запилю немного другой вариант messages в co-log, который мне нужен
Anatolii
я recache пробовал делать
Anatolii
но у меня никс и он в стор пытается залезть
Anatolii
это я на 8.4.3 перелез
Ю ли я? 🤔
Какие есть классические задачки на использование стандартных монад (List/Writer/State/etc)? Не "переизобрести заново", а чтобы именно заиспользовать и увидеть профит.
Dana
если тардис -- стандартная, то вот, как раз вспоминали
https://gist.github.com/paf31/9d84ecf6a6a9b69cdb597a390f25764d
Ilya
Какие есть классические задачки на использование стандартных монад (List/Writer/State/etc)? Не "переизобрести заново", а чтобы именно заиспользовать и увидеть профит.
Для List -- куда может попасть конь за N ходов
Ilya
И бинд и guard можно заюзать
Зигохистоморфный
Для List -- куда может попасть конь за N ходов
это же просто из Learn You a Haskell for Great Good
Ilya
Это плохо?
Ю ли я? 🤔
Подойдёт :)
Ilya
Btw, с этой книгой я не знаком
Ilya
Читал только Холомьёва, там было что-то про грамматики:)
a66ath
Апач
скеуморфизм, лол
Timofey
Vladimir
Ещё tardis.
https://doisinkidney.com/snippets/rotations.html
Timofey
?
Ну, объяснять хрономорфизм через другие морфизмы (в которых я ни в зуб ногой и даже определение не напишу) мог только человек с таким ником
Апач
Товарищи, есть у кого материалы для постигания фримонад и из использования?
Зигохистоморфный
Ещё tardis.
https://doisinkidney.com/snippets/rotations.html
можно и так)
rotates xs = xs : fmap (\n -> drop n <> take n $ xs) [1 .. length xs - 1]
Cheese
Товарищи, есть у кого материалы для постигания фримонад и из использования?
если вы уже добрались до фримонад, значит простые вещи вроде трансформеров уже освоили? приходите к нам работать
Зигохистоморфный
Cheese
работа только в офисе в Москве. надо знать С кроме Хаскеля. у нас есть печеньки. всё, прекращаю офтопить, можно продолжить в @haskell_cv
Апач
Я работаю, скалист. Не из России.
Зигохистоморфный
я на js пишу :D
Ю ли я? 🤔
Товарищи, есть у кого материалы для постигания фримонад и из использования?
Присоединяюсь к вопросу. Призывается @graninas
Зигохистоморфный
Присоединяюсь к вопросу. Призывается @graninas
зачем? для начала пару постов Гонзалеса прочитайте, ну и переводы на хабре есть
Alexander
Товарищи, есть у кого материалы для постигания фримонад и из использования?
У меня есть такие материалы:
- статья на Хабре про STM на Free
- Книга Functional Design and Architecture, где им отведено много места
Апач
А можно ссылочки?
Alexander
Да, секунду
Alexander
А можно ссылочки?
https://habr.com/post/350628/
https://www.reddit.com/r/haskell/comments/6ck72h/functional_design_and_architecture/
Alexander
Еще есть хороший доклад Евгения Козлова с ЛямбдыНск:
https://youtu.be/1Xa3sXj5Xfg
Зигохистоморфный
http://www.haskellforall.com/2012/07/purify-code-using-free-monads.html
перевод
https://habr.com/post/263959/
http://www.haskellforall.com/2013/06/from-zero-to-cooperative-threads-in-33.html
перевод
https://habr.com/post/195274/
http://www.haskellforall.com/2012/06/you-could-have-invented-free-monads.html
перевод
https://habr.com/post/254715/
http://www.haskellforall.com/2012/07/free-monad-transformers.html
Апач
О, спасибо!
Зигохистоморфный
Free = Fix + Coproduct
Cofree = Fix + Product
Зигохистоморфный
в общем опять рекурсивные схемы)
Arseniy
дома пишу на хаскеле и пурскрипте
Не хотите к нам в serokell.io придти писать на Purescript? :)
Зигохистоморфный
Не хотите к нам в serokell.io придти писать на Purescript? :)
даже не знаю, а что у вас там?
Апач
Fix это что?
Зигохистоморфный
ну а в типах это неподвижный функтор
Зигохистоморфный
newtype Fix f = Fix (f (Fix f))
Alexander
не хотите нанять разработчиков и консультации у нас
Alexander
в случае большого заказа возможно открытие локальной ветки, и набор большего числа сотрудников
Oleg
Портал в хаскел жобс, смотрю, открылся
Владимир
Господа, приветствую. Я недавно стал изучать Haskell и ФП, мне порекомендовали заниматься по http://haskellbook.com/. Можете подсказать, стоит игра свеч, а книга с сайта своих денег, или нет?
Зигохистоморфный
Господа, приветствую. Я недавно стал изучать Haskell и ФП, мне порекомендовали заниматься по http://haskellbook.com/. Можете подсказать, стоит игра свеч, а книга с сайта своих денег, или нет?
если ты не понимаешь надо тебе хаскель или нет, то никто за тебя это не решит
Владимир
если ты не понимаешь надо тебе хаскель или нет, то никто за тебя это не решит
Речь не о "нужен Хаскелл или не нужен", речь о том, чтобы выбрать хороший материал для изучения.
Oleg
Я могу решить
Oleg
Речь не о "нужен Хаскелл или не нужен", речь о том, чтобы выбрать хороший материал для изучения.
Пройди вон лучше бесплатный курс Москвина на степике.
Я сам видео не слушал, но все хвалят
Alexander
у @bravit111 книжка норм
Alexander
и дешевле
Alexander
у алленовской много воды было, но я не всю прочитал
Alexander
забил читать когда поссорился с ним
Alexander
но в целом неплохая
Alexander
сейчас найду
Владимир
Alexander
Haskell in Depth
Alexander
но она в процессе написаня