[
а это какой-то меморилик, что-то загрузилось в память, но не выгрузилось когда нужно, тупа баг в коде
беды с хлс короче, да?
Size: a a a
2021 March 26
[
Так, я тут узнал что (->) это монада.
Можете показать примеры, как с ней можно работать? И да, можно ли тогда считать каррирование функций частным видом функтора?
Можете показать примеры, как с ней можно работать? И да, можно ли тогда считать каррирование функций частным видом функтора?
[
В общем, вот так, да?
[
type R e a = e -> a
ask :: R e e
ask = id
local :: (e -> e2) -> R e2 a -> R e a
local f r = r . f
runR :: R e a -> e -> a
runR = id
y = ask
x :: Int -> Int
x = do
a <- ask
b <- local succ y
pure (a, b)
x 1 == 3
ask :: R e e
ask = id
local :: (e -> e2) -> R e2 a -> R e a
local f r = r . f
runR :: R e a -> e -> a
runR = id
y = ask
x :: Int -> Int
x = do
a <- ask
b <- local succ y
pure (a, b)
x 1 == 3
Всё, я понял
[
Кана опять пошёл развивать абстракцию до абсурда...
[
есть еще инстанс монады для пары
Monoid w => Monad ((,) w)
Monoid w => Monad ((,) w)
это я тоже видел
[
хаскель можно изучать, просто глядя на сигнатуры и инстансы в ghci....
[
