YS
Внутри оно вроде так и делается .-.
Size: a a a
2020 May 15
AV
По типу аргументов и результата
AV
Обычный вывод типов
YS
или я не понял вопрос
AV
например есть функция
pure :: a -> m aAV
Она "поднимает" значение в твой контекст
AV
ты можешь написать
pure 1 >>= pureAV
Тип такой штуки
m Int т.е. компилятор не может вывести что же за контекст это такойYS
Она "поднимает" значение в твой контекст
стоит наверное отметить безыффектную семантику
AI
читаю и прямо дежа-вю с книгой со слоном )))
AV
и его определит тот, кто выховет эту функцию
AV
например ты можешь написать:
let foo = pure 1 >>= pure 1
foo >>= print
print (foo :: Maybe Int)
AV
В первом случае функция foo имеет тип
IO Int, а во втором Maybe IntAV
Тут возникает вопрос, а начерта это всё нужно?
AI
"от чьей монады pure" (С)
AV
Эти интерфейсы (Functor, Applicative, Monad) оказались очень богатыми на написание стандартных библиотек функций, которые работают с разными
mAV
Т.е. ты можешь увидеть, что твой тип данных это функтор, аппликатив, монада и бесплатоно получить кучу функций для работы с ним, или объяснить другому разрабочику, что с этими данными можно делать
AI
да, помню как в хаскельчате решали одну общемонадскую задачку, я написал кот в ду-нотации, а Александр сначала по ассоциации спросил а при чем здесь IO, но тут же понял что не только оно может быть в ду )
AS
надо переварить) спасибо) слона давно рекомендовали, руки не доходили все