Oℕ
можно их эмулировать
враппер простой
def pure(x: A) = f => f(x)
def pure(x: A) = f => f(x)
Size: a a a
2020 October 14
Oℕ
а унвраппера нет
Oℕ
а монада это потому что есть флатмап
𝛈µ
тайпкласс, который определён двумя тайп конструкторами (хуй знает, может это и не два тайпконструктора) так, что если значение сделать монадичным и потом обратно, оно не поменяется
Бля
AS
S
с#
там всё равно не будет унврапперов
анвраппером я назыал например flatten в Option
Oℕ
def flatMap[R, A, B](fa: Cont[R, A])(f: A => Cont[R, B]) =
k => fa(a => f(a)(k))
k => fa(a => f(a)(k))
с#
а что удивительного, туда давно завезли fun interface и раньше было
runAction(Action {
})
runAction(Action {
})
Oℕ
анвраппером я назыал например flatten в Option
это не унвраппер, он не вытаскивает значение из монады
S
monad
1) //Monads are kind of types which have some fundamental ops(like a 'List') are:
//unit(also called pure or apply). which construct a Monad out of a value or out of many values.
//bind - transforms a monad of certain type parameter into a monad of another type parameter.
1) //Monads are kind of types which have some fundamental ops(like a 'List') are:
//unit(also called pure or apply). which construct a Monad out of a value or out of many values.
//bind - transforms a monad of certain type parameter into a monad of another type parameter.
Oℕ
важно понимать это
AS
/get monad-laws
S
monad-laws
(left-identity) - unit(x).flatMap(f) == f(x)
(right-identity) - aMonadInstance.flatMap(unit) = aMonadInstance
and (associativity) - m.flatMap(f).flatmap(g) == m.flatMap(x => f(x).flatMap(g))
(left-identity) - unit(x).flatMap(f) == f(x)
(right-identity) - aMonadInstance.flatMap(unit) = aMonadInstance
and (associativity) - m.flatMap(f).flatmap(g) == m.flatMap(x => f(x).flatMap(g))
𝛈µ
Структура с двумя операциями и тремя законами
NV
штука чтобы нормально писать код не дожидаясь очередной версии котлина
Oℕ
анвраппером я назыал например flatten в Option
можно цепочку большую связать в одно значение , а вытащить всё равно нельзя
вот flatMap\flatten+map этой связкой и занимается
вот flatMap\flatten+map этой связкой и занимается
𝛈µ
Дебилы потому что
(
Дебилы потому что
инцелы