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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

fprog_spb

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

YS

Yan Shkurinskiy in fprog_spb
Блин, надо всё таки прочитать, как эти фри монады работают
источник
19:59пожаловаться#1

YS

Yan Shkurinskiy in fprog_spb
Мои обывательские знания меня не удовлетворяют
источник
20:00пожаловаться#2

AV

Alexander Vershilov in fprog_spb
Просто структура по которой можно создать инстанс Monad бесплатно
источник
20:00пожаловаться#3

AV

Alexander Vershilov in fprog_spb
Т.е. для любого функтора F, можно сделать Free F, у которого будет единственный инстас Monad (поэтому его можно сделат автоматом)
источник
20:00пожаловаться#4

AV

Alexander Vershilov in fprog_spb
В итоге ты пишешь функтор определенного вида со списком эффектов/операций и бесплатно получаешь монадический DSL
источник
20:01пожаловаться#5

YS

Yan Shkurinskiy in fprog_spb
Надо будет глянуть подробнее, почему он единственный...
источник
20:01пожаловаться#6

АГ

Александр Гранин... in fprog_spb
Я имплементил "нормальную" Free в С++. Она несложная, ее понять вообще можно за вечер. Я так же имплементил Church Encoded Free, тоже в С++. Ну я открыл исходники, перенес их почти 1:1, оно заработало, но как именно, я до сих пор не понимаю
источник
20:01пожаловаться#7

AV

Alexander Vershilov in fprog_spb
Если ты получаешь монадический dsl, то ты можешь делат разные интерпретаторы (соотв менять bind)
источник
20:01пожаловаться#8

AV

Alexander Vershilov in fprog_spb
Yan Shkurinskiy
Надо будет глянуть подробнее, почему он единственный...
Не надо 🙂
источник
20:01пожаловаться#9

AV

Alexander Vershilov in fprog_spb
Ну надо, но не обязательно
источник
20:02пожаловаться#10

YS

Yan Shkurinskiy in fprog_spb
Ну, я просто не знаком с этим, хотя тема очень известная
источник
20:02пожаловаться#11

YS

Yan Shkurinskiy in fprog_spb
Хотя бы для кругозора знать!
источник
20:02пожаловаться#12

AV

Alexander Vershilov in fprog_spb
А Church encoding нужен для того, чтобы сложность последовательности операций была адекватная
источник
20:02пожаловаться#13

YS

Yan Shkurinskiy in fprog_spb
Не думаю что выкину свой ft и перепишу всё на fm
источник
20:03пожаловаться#14

AV

Alexander Vershilov in fprog_spb
Соотвественно, там где у тебя в задаче изначально интепретатор вылезает кажется адекватным решением
источник
20:03пожаловаться#15

YS

Yan Shkurinskiy in fprog_spb
Alexander Vershilov
А Church encoding нужен для того, чтобы сложность последовательности операций была адекватная
Это как-то связано с монадическим связыванием?
источник
20:03пожаловаться#16

YS

Yan Shkurinskiy in fprog_spb
Ну, выбор такого энкодинга
источник
20:03пожаловаться#17

AV

Alexander Vershilov in fprog_spb
Да, там связывание эффективнее получается
источник
20:06пожаловаться#18

AV

Alexander Vershilov in fprog_spb
линейное вместо квадратичного, если не ошибаюсь?
источник
20:06пожаловаться#19

YS

Yan Shkurinskiy in fprog_spb
Это не похоже на то, как дифф листы работают?
источник
20:06пожаловаться#20