k
inc = add 1
Size: a a a
2020 January 01
k
например
R
kewa
Можете еще прояснить частичное применение ? Оно у вас не автоматическое что ли?
inc = add(1, _)
SA
Кто что может сказать про StateT/IndexedStateT? Пользовались? Негодовали? Писали своё?
Oℕ
Пользовались и писали своё
Oℕ
Не негодовал
GP
пользовался так что не негодовал
SA
какие недостатки у готового, раз писали своё?
KS
Оно же теряет изменение состояния при фейле?
Oℕ
Инвариантный, теряет стейт, если обернуть тип с ошибкой
Oℕ
Неэффективно сделан
Oℕ
Неэффективно сделан
Прямо хошкел головного мозга
SA
А качественная, но без единой строчки комментариев, версия есть в тофу?)
Oℕ
А качественная, но без единой строчки комментариев, версия есть в тофу?)
совершенно верно
Oℕ
Ну в котах приемлемого качества
Oℕ
Если не нужно сильно перфоманса и вариантности
Oℕ
А качественная, но без единой строчки комментариев, версия есть в тофу?)
Ну тофу тип допишется ещё
SA
Вот только сегодня создал:
@typeclass
trait Disposable[F[_]] {
def lift[A](v: (A, F[Unit])): F[A]
}
Пиши уже доки, в текущем виде даже для домашних проектов стремно брать)
@typeclass
trait Disposable[F[_]] {
def lift[A](v: (A, F[Unit])): F[A]
}
Пиши уже доки, в текущем виде даже для домашних проектов стремно брать)
Oℕ
Вот только сегодня создал:
@typeclass
trait Disposable[F[_]] {
def lift[A](v: (A, F[Unit])): F[A]
}
Пиши уже доки, в текущем виде даже для домашних проектов стремно брать)
@typeclass
trait Disposable[F[_]] {
def lift[A](v: (A, F[Unit])): F[A]
}
Пиши уже доки, в текущем виде даже для домашних проектов стремно брать)
очень плохо
Oℕ
Зачем тюпл в параметре?