a
я исследовал вопрос в основном ради абстракции над
IO.recoverWith/IO.flatMapSize: a a a
2020 August 12
SK
@alexknvl спасибо
Oℕ
Спасибо большое. Очень понравилась статья. Книгу скачал - обязательно почитаю. Сам я пишу на тайп-скрипт, не используя классы - на одних замыканиях (в стиле fantasy-land, но без либы). Пример конкретного билдера (ООП паттерн) у меня может выглядеть например так:
const Builder = <T extends {}>(model: T) => ({
withComment: (comment: string) => Builder({ ...model, comment }),
withSpecialComment: () => Builder(model).withComment('Special comment'),
withTrackingNumber: (tracking: number) => Builder({ ...model, tracking }),
build: () => model })
const a = Builder({});
// a.withComment('test').build().tracking // Property 'tracking' does not exist on type '{ comment: string; }'
console.log(a.withTrackingNumber(1234).withSpecialComment().build().tracking)
const Builder = <T extends {}>(model: T) => ({
withComment: (comment: string) => Builder({ ...model, comment }),
withSpecialComment: () => Builder(model).withComment('Special comment'),
withTrackingNumber: (tracking: number) => Builder({ ...model, tracking }),
build: () => model })
const a = Builder({});
// a.withComment('test').build().tracking // Property 'tracking' does not exist on type '{ comment: string; }'
console.log(a.withTrackingNumber(1234).withSpecialComment().build().tracking)
w
Спасибо большое. Очень понравилась статья. Книгу скачал - обязательно почитаю. Сам я пишу на тайп-скрипт, не используя классы - на одних замыканиях (в стиле fantasy-land, но без либы). Пример конкретного билдера (ООП паттерн) у меня может выглядеть например так:
const Builder = <T extends {}>(model: T) => ({
withComment: (comment: string) => Builder({ ...model, comment }),
withSpecialComment: () => Builder(model).withComment('Special comment'),
withTrackingNumber: (tracking: number) => Builder({ ...model, tracking }),
build: () => model })
const a = Builder({});
// a.withComment('test').build().tracking // Property 'tracking' does not exist on type '{ comment: string; }'
console.log(a.withTrackingNumber(1234).withSpecialComment().build().tracking)
const Builder = <T extends {}>(model: T) => ({
withComment: (comment: string) => Builder({ ...model, comment }),
withSpecialComment: () => Builder(model).withComment('Special comment'),
withTrackingNumber: (tracking: number) => Builder({ ...model, tracking }),
build: () => model })
const a = Builder({});
// a.withComment('test').build().tracking // Property 'tracking' does not exist on type '{ comment: string; }'
console.log(a.withTrackingNumber(1234).withSpecialComment().build().tracking)
могу провести ресерч по читаемости среди моих коллег
a
я честно говоря не уверен по поводу
(L, *) и R => *a
надо расписать, может работает.
Either[L, *] точно работаетa
получается
MonadThrowa
если
I[A] = R => A, то flatMap странный получаетсяa
def flatMap[A, B](f: (R => A) => F[B]): F[A] => F[B]P
Pavel так ты где наткнулся то на них
коллега упомянул и ушел в оффлайн
a
trait RMonad[I[_], F[_]] {
def pure[A](ja: I[A]): F[A]
def flatMap[A, B](ma: F[A])(f: I[A] => F[B]): F[B]
}
final case class Reader[-R, +A](run: R => A)
object Foo {
def foo[R]: RMonad[(R => *), Reader[R, *]] =
new RMonad[(R => *), Reader[R, *]] {
type I[A] = R => A
type F[A] = Reader[R, A]
def pure[A](ja: I[A]): F[A] = Reader(ja)
def flatMap[A, B](ma: F[A])(f: I[A] => F[B]): F[B] = f(ma.run)
}
}w
trait RMonad[I[_], F[_]] {
def pure[A](ja: I[A]): F[A]
def flatMap[A, B](ma: F[A])(f: I[A] => F[B]): F[B]
}
final case class Reader[-R, +A](run: R => A)
object Foo {
def foo[R]: RMonad[(R => *), Reader[R, *]] =
new RMonad[(R => *), Reader[R, *]] {
type I[A] = R => A
type F[A] = Reader[R, A]
def pure[A](ja: I[A]): F[A] = Reader(ja)
def flatMap[A, B](ma: F[A])(f: I[A] => F[B]): F[B] = f(ma.run)
}
}а можно рисунок фотографии скриншота?
KC
наконец то увидели премиум кота
cats-premium
a
неясная такая абстракция
a
Pavel
и вот даже глядя на этот пример не могу придумать проблему, на которую посмотрев могу сказать о, так это решается с помощью relative monad. но это каеш не совсем правильный подход
я тоже не могу
a
с зависимыми типами - может быть
a
a
короче забей на эту тему. это как супермонады