Вл
нууу блин я чет не особо уверен что законы нужны
Size: a a a
2018 November 05
at
ну типо от законов польза тайпкласса, а это тупо ад хок, но не обобщение
ЗП
ну типо от законов польза тайпкласса, а это тупо ад хок, но не обобщение
тайп класс их как-то прувит? насколько я помню все на совести разраба
К
Скажите мне, как такое возможно в реальной жизни? =)
type Contravariant<T> = {
contramap<T1>(fn: (T1) => T): Contravariant<T>,
};at
он же в другую сторону
К
он же в другую сторону
Не понимаю.
at
Contravariant f => f a ~> (b -> a) -> f b
D
Не понимаю.
type Contravariant<T> = {
contramap<T1>(fn: (T1) => T): Contravariant<T1>,
}at
type Contravariant<T> = {
contramap<T1>(fn: (T1) => T): Contravariant<T1>,
}во да
К
type Contravariant<T> = {
contramap<T1>(fn: (T1) => T): Contravariant<T1>,
}Точняк. Но и как такое возможно, мне тоже неясно.
at
в эффекторе у эвента есть
prepend<Before>(fn: (_: Before) => Params): Event<Before>;
prepend<Before>(fn: (_: Before) => Params): Event<Before>;
at
иэто просто по сути
function contramap(oldEvent: Event<T>, fn: (T1) => T): Event<T1> {
const event: Event<T1> = createEvent()
event.watch(t1 => oldEvent(fn(t1))
return event
}at
function map(oldEvent: Event<T>, fn: (T) => T1): Event<T1> {
const event: Event<T1> = createEvent()
oldEvent.watch(t => event(fn(t)))
return event
}D
Точняк. Но и как такое возможно, мне тоже неясно.
S
Я нашел пидора дня, но похоже, что он вышел из этого чата (вот пидор!), так что попробуйте еще раз!
S
Я нашел пидора дня, но похоже, что он вышел из этого чата (вот пидор!), так что попробуйте еще раз!
S
Я нашел пидора дня, но похоже, что он вышел из этого чата (вот пидор!), так что попробуйте еще раз!