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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

ФП

334 membersпожаловаться на группу
2021 April 13

АГ

Александр Гранин... in ФП
Это если обобщенная операция. Так-то если у вас исключительно Maybe, то можно не реализовывать эту обобщенную операцию, а просто всегда использовать Just
источник
14:12пожаловаться#1

˸A

˸̧̨ ͅBlack Akula˸̧̨ ... in ФП
И опять-таки разные названия. То что вы pure называете - это у меня
of :: Applicative f => a -> f a
источник
14:14пожаловаться#2

SB

S B in ФП
Я лично о таком не слышал, но могу допустить что это совершенно исключительные ситуации. Все же, стоит ли их принимать всерьёз?
источник
14:15пожаловаться#3

DK

Daniil Kostin in ФП
chain используется в fp-ts так как bind занят в JS
of там тоже есть, но его скорее из какго-то ФП языка взяли по аналогии
источник
14:17пожаловаться#4

АГ

Александр Гранин... in ФП
Я недавно слушал подкаст, там чувак такое про себя рассказывал. Но я бы сказал, не стоит недооценивать силу само-пиара и self-marketing. Это чуть ли не ключевая вещь для разработчиков в западной культуре
источник
14:18пожаловаться#5

JS

Jerzy Syrowiecki in ФП
скорее всего, имелось в виду, что можно функтор из монады вывести, а монада подразумевает (bind, return)
источник
15:49пожаловаться#6

JS

Jerzy Syrowiecki in ФП
а вы откуда of переняли?
источник
15:50пожаловаться#7

˸A

˸̧̨ ͅBlack Akula˸̧̨ ... in ФП
fantasy-land
источник
15:50пожаловаться#8

˸A

˸̧̨ ͅBlack Akula˸̧̨ ... in ФП
Неужели существуют реализации монад без map?
источник
15:51пожаловаться#9

IK

Ilya Kos in ФП
Map выводится через bind и return
источник
15:52пожаловаться#10

JS

Jerzy Syrowiecki in ФП
реализация монады в вакууме = bind + return, или join + return, никаких map
источник
15:52пожаловаться#11

IK

Ilya Kos in ФП
map f x = bind x (return . f)
источник
15:53пожаловаться#12

˸A

˸̧̨ ͅBlack Akula˸̧̨ ... in ФП
Я подозреваю, хаскель делает этот вывод за вас?
источник
15:53пожаловаться#13

JS

Jerzy Syrowiecki in ФП
fmap f a = a >>= pure . f -- так, наверно?
источник
15:53пожаловаться#14

IK

Ilya Kos in ФП
Ему можно сказать так сделать
источник
15:53пожаловаться#15

˸A

˸̧̨ ͅBlack Akula˸̧̨ ... in ФП
Ясно. Ну, как я и говорил

любая монада - аппликатив, любой аппликатив - функтор
источник
15:55пожаловаться#16

JS

Jerzy Syrowiecki in ФП
на практике лучше выводить функтор из структуры типа, чем из монады
источник
15:56пожаловаться#17

АГ

Александр Гранин... in ФП
Да, и это значит, что можно не ломиться через городьбу через Functor-Applicative-проч, а просто войти в калитку. Правда, при этом кое-какие удобные фишки теряются, и их придется руками делать
источник
15:56пожаловаться#18

˸A

˸̧̨ ͅBlack Akula˸̧̨ ... in ФП
источник
15:58пожаловаться#19

АГ

Александр Гранин... in ФП
А у Брагилевского большой Хаскель
источник
15:59пожаловаться#20