К
я так и не понял что здесь считается оффтопом а что нет
А я в принципе половину здесь не понимаю, так что не могу точно сказать, офтоп это или нет.
Size: a a a
2018 October 20
at
без монад ?
за два года все кто общался были одними и теми же людьми
ℝ
без монад ?
зачем тебе монады?
К
зачем тебе монады?
Весьма элегантно и порой упрощает код.
ℝ
Весьма элегантно и порой упрощает код.
a?.b лучше чем вагон мапов у maybe
m
зачем тебе монады?
я просто недавно в эту тему въехал и мне интересно как можно писать код на не ооп. Классная же штука для обработки ошибок
m
Promise тоже же монада
at
монадность можно натянуть на что угодно почти, само по себе это бесполезно, если это никак не использовать, а это никак не используют
ℝ
монадность можно натянуть на что угодно почти, само по себе это бесполезно, если это никак не использовать, а это никак не используют
вот здравый смысл
at
вот есть у нас промис:
Promise<T>
Promise.resolve(T): Promise<T>
Promise.reject(any): Promise<T>
Promise<T>#then(T -> G): Promise<G>
Promise<T>#then(T -> Promise<G>): Promise<G>
вот эти функции сами по себе и никуда не денутся
Promise<T>
Promise.resolve(T): Promise<T>
Promise.reject(any): Promise<T>
Promise<T>#then(T -> G): Promise<G>
Promise<T>#then(T -> Promise<G>): Promise<G>
вот эти функции сами по себе и никуда не денутся
at
а вот потом мы сделали монаду (псевдокод): {
const promiseMonad = {
type T: Promise,
of: Promise.resolve,
join: p => p.then(x => x),
};at
вот это конкретно монада
at
это тройка из эндофунктора и двух семейств морфизмов
at
кто ее использует?
at
использование монад подразумевает возможность писать общемонадный код, то есть вынести из разных вещей ОБЩИЙ интерфейс и работать с ними одинаково, писать обобщенные функции для любых монад
К
a?.b лучше чем вагон мапов у maybe
Ой, не буду в таком участвовать. Когда как.
К
А вот ещё:
m
m
поучил функциональный js
К
Во флоу есть номинал тайпинг и структурный тайпинг. Номинальный — это значит, что матчинг типов смотрит, является ли значение инстансом именно этого типа или его наследника. Структурный — это просто повторение интерфейса. Так вот. Может ли
Maybe юзать структурный тайпинг?