KC
всё так, это не монада. А что это тогда?)
Ну, раз это не монада, то при чем тут оно вообще к нашему разговору.
Size: a a a
2020 August 02
SA
Если вы напишете трейт, мы попробуем придумать название для этой структуры
Пожалуйста. Что такое f в этом примере?
def foo[F[_]: Functor](f: F[Int]): F[Int] = f.map(_ + 1)Oℕ
А разве IO[Int] это монада? Я думал IO это монада, а не IO[Int]
IO тоже не монада
Oℕ
Пожалуйста. Что такое f в этом примере?
def foo[F[_]: Functor](f: F[Int]): F[Int] = f.map(_ + 1)в этом примере f - аргумент функции foo, большего сказать нельзя
KC
IO тоже не монада
Почему
SA
в этом примере f - аргумент функции foo, большего сказать нельзя
Примерно так ты объясняешь ФП)))))
Oℕ
Почему
Ну я человек простой. Если не доказано, что что-то - это монада, оно и не монада
Oℕ
Примерно так ты объясняешь ФП)))))
Это претензия к моим преподавательским навыкам?
Oℕ
Считаете, я объясняю ФП хуже Вас?
KC
Кажется обсуждение из разумного русла переходит в перекидывание какашками
KC
(Это функтор "Обсуждение"?)
SA
Считаете, я объясняю ФП хуже Вас?
Если вдруг вам нужна обратная связь со стороны объясняемого - обращайтесь
SA
Возвращаясь к нашим баранам, Олег, как ты объясняешь людям, что такое F[A]?
AH
А могли бы уже 5 оперденей на спринге поднять.
KC
А могли бы уже 5 оперденей на спринге поднять.
И не говори. Работать не хотят, прокрастинируют только https://t.me/scala_ru/283511
ΛВ
Возвращаясь к нашим баранам, Олег, как ты объясняешь людям, что такое F[A]?
значение в контексте F, тут нельзя придумать что-то сложнее, и не надо в общем-то
AD
Возвращаясь к нашим баранам, Олег, как ты объясняешь людям, что такое F[A]?
F[_] в которое заснули A
AD
без бополнительного контектса это больше ничего
SA
значение в контексте F, тут нельзя придумать что-то сложнее, и не надо в общем-то
Но это же бесполезное объяснение, которое ничего не объясняет?
AD
значение в контексте F, тут нельзя придумать что-то сложнее, и не надо в общем-то
val fa: F[A] = ???