λ
то есть смотри, основное отличие от кодирования эффектов монадами, это то что мы всё должны энкодить явно, каждый шаг
Size: a a a
ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
453 membersпожаловаться на группу
2019 December 14
Oℕ
нет, нет такого различия
Oℕ
С монадами ты тоже в инициальной форме напишешь, и будет у тебя явный шан кодироваться явно
Oℕ
Вон как с фримонадами, дуби например
Oℕ
Это инициальная форма просто
Oℕ
akka.stream.Flow[A, B] - разве явная форма?
Oℕ
В общем отличие стрелок в том, что это просто более слабый интерфейс
Oℕ
Например как Аппликатив по сравнению с мондой
Oℕ
Гораздо больше есть типов, для которых ты инстанс аппликатива можешь написать поэтом
λ
да, я кажется неверно (слишком сильно) связывал монады с кодированием эффектов
Oℕ
Но в аппликативе ты можешь только очень простые штуки описывать, последовательных нет вычислений
V
С монадами ты тоже в инициальной форме напишешь, и будет у тебя явный шан кодироваться явно
ὦan закодировался уже?
Oℕ
А тут есть специальный промежуточный тип, почти для всего, для чего ты можешь аппликатив написать, ты можешь написать стрелку
λ
В общем отличие стрелок в том, что это просто более слабый интерфейс
да, вот это ключевой момент, его нужно акцентировать
у меня эта мысль маячила, но потом утопилась в разных дурацких вопросах в голове
у меня эта мысль маячила, но потом утопилась в разных дурацких вопросах в голове
Oℕ
С другой стороны, почти весь код, который ты пишешь с использованием монад, можно написать на стрелках с расширениями, типа ArrowChoice ArrowLoop
Oℕ
Получается для гораздо большего набора типов ты можешь получить способ композить их.
Oℕ
Проблема в том, что раньше было композить очень больно
То. что в фор компрехеншоне было
for{
a <- getQueryParam("a")
b<- getQueryParam("b"
c<- getBody
_ <- authenticate
_ <- checkPost
} yield Foo(a, b, c)
То. что в фор компрехеншоне было
for{
a <- getQueryParam("a")
b<- getQueryParam("b"
c<- getBody
_ <- authenticate
_ <- checkPost
} yield Foo(a, b, c)