В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Haskell

1429 membersпожаловаться на группу
2020 May 09

R

Roman in Haskell
написал дисс на Гранина: https://github.com/effectfully/sketches/tree/master/hierarchical-free-monads-mostly-pointless
источник
22:05пожаловаться#1

MK

Maxim Koltsov in Haskell
Зачем
источник
22:08пожаловаться#2

R

Roman in Haskell
Maxim Koltsov
Зачем
тотальное отсутствие какой бы то ни было личной жизни
источник
22:08пожаловаться#3

MK

Maxim Koltsov in Haskell
Сочувствую
источник
22:08пожаловаться#4

MK

Maxim Koltsov in Haskell
Что такое straw man кстати?
источник
22:09пожаловаться#5

R

Roman in Haskell
Maxim Koltsov
Что такое straw man кстати?
https://en.wikipedia.org/wiki/Straw_man
источник
22:09пожаловаться#6

MK

Maxim Koltsov in Haskell
Блин
источник
22:10пожаловаться#7

IK

Ilya Kos in Haskell
Maxim Koltsov
Зачем
Происходит community
источник
22:10пожаловаться#8

MK

Maxim Koltsov in Haskell
Ну вот зачем наследовать MonadApp от MonadLogger
источник
22:10пожаловаться#9

MK

Maxim Koltsov in Haskell
Ерунда какая-то
источник
22:10пожаловаться#10

MK

Maxim Koltsov in Haskell
Странный у тебя фт
источник
22:10пожаловаться#11

R

Roman in Haskell
Maxim Koltsov
Ну вот зачем наследовать MonadApp от MonadLogger
вопрос к Гранину, я только откопирайтил его мопед
источник
22:11пожаловаться#12

к

кана in Haskell
Roman
написал дисс на Гранина: https://github.com/effectfully/sketches/tree/master/hierarchical-free-monads-mostly-pointless
должен сказать, что инстансы функтора для того типа можно вывести, и функции для фримонады либа легко генерит через th
источник
22:35пожаловаться#13

к

кана in Haskell
ну это к аргументу про длину кода
источник
22:35пожаловаться#14

ЗП

Зигохистоморфный Пре... in Haskell
кана
должен сказать, что инстансы функтора для того типа можно вывести, и функции для фримонады либа легко генерит через th
Меня вот эти фри монады в фри монадах смущают
источник
22:41пожаловаться#15

к

кана in Haskell
так что реальный код выглядит как-то так, при этом от алиасов на Free и алиасов на интерпретаторы можно отказаться
источник
22:48пожаловаться#16

к

кана in Haskell
то есть вот так
источник
22:49пожаловаться#17

к

кана in Haskell
это все еще больше чем FT тем не менее, и менее удобно конечно
источник
22:51пожаловаться#18

к

кана in Haskell
просто хотел обратить внимание, что самый бойлпрелейтный код спокойно генерируется
источник
22:51пожаловаться#19

к

кана in Haskell
проблемы с тем что весь код завязан на App тоже не оч существенные, всегда можно пойти по MonadTrans-пути и просто лифтать все вручную

неудобно, да, но нерешаемой проблемы, как ты хочешь показать, нет, просто чуть больше страданий. Хелперы для App решат большую часть страданий, в остальных редких местах лифтить

и в итоге получается тот же код что и у FT + ручной лифтинг
источник
22:56пожаловаться#20