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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

1587 membersпожаловаться на группу
2021 June 15

к

кана in Haskell
ну то есть вопрос был про фримонаду, а пример был про функтор для нее
источник
12:09пожаловаться#1

к

кана in Haskell
ну и вообще говоря любой функтор подойдет
источник
12:09пожаловаться#2

X

XÆA-XII in Haskell
Погодите
источник
16:12пожаловаться#3

X

XÆA-XII in Haskell
Свободные монады - не монады?
источник
16:13пожаловаться#4

JM

Jonn Mostovoy in Haskell
Они "бесплатные"
источник
16:13пожаловаться#5

X

XÆA-XII in Haskell
Фри
источник
16:13пожаловаться#6

X

XÆA-XII in Haskell
Как картошка
источник
16:13пожаловаться#7

X

XÆA-XII in Haskell
Но не суть
источник
16:13пожаловаться#8

X

XÆA-XII in Haskell
Вопрос в этом
источник
16:14пожаловаться#9

к

кана in Haskell
ты кажется путаешь тип Free и то что в него передается
источник
16:16пожаловаться#10

к

кана in Haskell
функтор, который в него передается (как твой Toy) монадой быть не должен, достаточно функтор
источник
16:16пожаловаться#11

X

XÆA-XII in Haskell
Я уже даже не знаю, что я путаю
источник
16:16пожаловаться#12

к

кана in Haskell
а вот Free (Toy x) будет уже монадой
источник
16:16пожаловаться#13

X

XÆA-XII in Haskell
То есть, Free f r - не монада
источник
16:16пожаловаться#14

к

кана in Haskell
инстанс монады пишется для конструктора типов, а не для типа, то есть Free f будет монадой, если f - функтор. А Free f r уже нет

То есть например Maybe - монада, в отличии от Maybe x
источник
16:17пожаловаться#15

X

XÆA-XII in Haskell
Ааа
источник
16:18пожаловаться#16

X

XÆA-XII in Haskell
Free f - монада, Free и Free f r - нет
источник
16:18пожаловаться#17

к

кана in Haskell
но это не так важно, я думаю ты не на том сфокусировался
источник
16:19пожаловаться#18

к

кана in Haskell
у тебя есть какой-то f, который функтор. Например твой (Toy x), или Maybe даже просто

тогда, Free Maybe будету же монадой, даже если у самого Maybe нет инстанса монады
источник
16:20пожаловаться#19

JS

Jerzy Syrowiecki in Haskell
а для Freer даже функтор не нужен
источник
16:21пожаловаться#20