SA
Выделить свойства от его реализации
Дегузу это расскажи с его ZIO
Size: a a a
2020 August 02
λ
А ему говорят
𝛈µ
Он уже занялся
𝛈µ
Прелюд вон сделал
𝛈µ
Скоро био сделает
SA
Скоро био сделает
Со скаладоком, обрати внимание.
SK
interface Monad<A> {
// монада является функтором, но map реализовывать отдельно не нужно -
// он выражается через flatMap и lift
fun <B> map(f: (A) -> B): Monad<B> = flatMap { a -> lift(f(a)) }
fun <B> flatMap(f: (A) -> Monad<B>): Monad<B>
}
fun <A> lift(value: A): Monad<A> = TODO()А как это вообще использовать? Получается, что взяв Option, во flatMap я могу запихнуть все что угодно, что реализует Monad
𝛈µ
А как это вообще использовать? Получается, что взяв Option, во flatMap я могу запихнуть все что угодно, что реализует Monad
Спроси у алаева
𝛈µ
Это паста с его "статьи"
SA
А как это вообще использовать? Получается, что взяв Option, во flatMap я могу запихнуть все что угодно, что реализует Monad
Никак, это учебный пример. Полноценная реализация, да на котлине - это убийство.
λ
Это паста с его "статьи"
Карбонара
𝛈µ
Никак, это учебный пример. Полноценная реализация, да на котлине - это убийство.
А смысл тогда кукерекать?
ΛВ
Никак, это учебный пример. Полноценная реализация, да на котлине - это убийство.
чему он учит? Это как учить стрелять из винтовки, дав вместо нее рогатку. Смарите, стрелять можно, при этом можно камнями, ягодами и пулями пользоваться
λ
чему он учит? Это как учить стрелять из винтовки, дав вместо нее рогатку. Смарите, стрелять можно, при этом можно камнями, ягодами и пулями пользоваться
Я задался вопросом про лук, зелёный или репчатый ?
SA
А смысл тогда кукерекать?
Образцовый пример конструктивной критики от джейли
AD
Я, кажется, понял проблему. Подгорает у тех, кто уже давно в ФП. Кто ожидает увидеть законы, кто при виде
Functor триггерится "тайпкласс неправильно объявлен" и т.п.Да он *** неюзабелен
ΛВ
Я задался вопросом про лук, зелёный или репчатый ?
шалот, им тоже можно из рогатки пулять
AD
Совсем
λ
Образцовый пример конструктивной критики от джейли
Ну так он тебе намекает, что твой пример не правильный. Вполне конструктивно
AD
На эти хваших гоподобных языках без хкт вам нужно написать одну god монаду JIO/KIO/CIO и от нее все кодить, а на большее язык не работает