AP
Ну да, когда свою монадку пишешь, неплохо бы законы проверить
Size: a a a
2021 March 03
AP
В остальном же всё нужное на кончиках пальцев будет, когда кода достаточно попишешь
[
Я правильно понимаю, return можно использовать для создания только тех дата-тайпов, которые хоть одним вариантом могут принимать значение a(любое, ага)?
MP
Я правильно понимаю, return можно использовать для создания только тех дата-тайпов, которые хоть одним вариантом могут принимать значение a(любое, ага)?
return - это для конструирования монадного контекста
там тип какой угодно может быть, достаточно чтобы монадические законы выполнялись
там тип какой угодно может быть, достаточно чтобы монадические законы выполнялись
[
А, точно, я тупой.
Для return, получается, нужен инстанс в монаде, да?
Для return, получается, нужен инстанс в монаде, да?
MP
это часть класса Monad, да
MP
интуитивно, если есть return :: a -> m a, то результат обычно действитльно что-то "содержащее" а в том или ином виде
[
Так, меня тут не убьют за фото экрана? Я просто в шараге без инета в тихую разбираюсь в кодинге, тут инета нет😄
MP
но STM a или IO a, например никакого контейнера для а не создают, это штука, которая влияет на control flow, если угодно
MP
ну точнее IO кажется что-то там создает типа tuple, который вырезается оптимизатором, или типа того, здесь я могу наврать, но это не контейнер, в любом случае
[
Меня смутило то, что в левой идентичности к m ретурн применяется
[
Вот я и не понял, как оно должно работать
AP
Монадическое вычисление имеет эффект + результат. return далает из значения результат вычисления, не производящий на деле никакого эффекта
[
интуитивно должно быть так, что если m это монада, то return x :: m a это вычисление, которое НЕ ДЕЛАЕТ эффекта
Просто поднимает значение на монадический уровень, да?
AP
у return плохо имя выбрано
Y
у return плохо имя выбрано
Как, кстати, его выбирали?