AD
По этому F[A] необясним
Size: a a a
2020 August 02
ΛВ
Что такое F[A] в контексте того, что F обязательно имеет инстанс функтора там
ΛВ
или что-то вроде
SA
Что такое F[A] в контексте того, что F обязательно имеет инстанс функтора там
Этот вопрос я уже задавал, откуда столько флуда в чатике по-твоему.
λ
По самой сигнатуре можно сказать ведь что это некоторое значение A, но не совсем простое а подверженное каким-то эффектам: неопределённости, возможному отсутствию значения, какими-то специальными условиями по доступности во времени по отношению к другим значениям
SA
По самой сигнатуре можно сказать ведь что это некоторое значение A, но не совсем простое а подверженное каким-то эффектам: неопределённости, возможному отсутствию значения, какими-то специальными условиями по доступности во времени по отношению к другим значениям
Поправка: значениЯ. Разные вычисления этого эффекта не обязаны возвращать одно и то же значение.
λ
Поправка: значениЯ. Разные вычисления этого эффекта не обязаны возвращать одно и то же значение.
это характеризуется словом неопределённость
AD
По самой сигнатуре можно сказать ведь что это некоторое значение A, но не совсем простое а подверженное каким-то эффектам: неопределённости, возможному отсутствию значения, какими-то специальными условиями по доступности во времени по отношению к другим значениям
Nothing не значение же
SA
Я, по правде говоря, до сих пор в недоумении, насколько туго людям заходит мысль, что F[A] - это стрим значений типа А, а не одно значение.
λ
А дальше можно сказать, что в принципе применяя такую абстракцию как монада мы можем хоршо классифирцировать и следовательно вырабатывать хорошие методики работы с каждым из этих эффектов. Это я просто тренируюсь в объяснении
ΛВ
Пожалуйста. Что такое f в этом примере?
def foo[F[_]: Functor](f: F[Int]): F[Int] = f.map(_ + 1)этот?
осмелюсь предположить, что никто из академиков-теоркатористов и прочих людей не дал f никакого особенного названия. Это просто значение
осмелюсь предположить, что никто из академиков-теоркатористов и прочих людей не дал f никакого особенного названия. Это просто значение
Oℕ
Я, по правде говоря, до сих пор в недоумении, насколько туго людям заходит мысль, что F[A] - это стрим значений типа А, а не одно значение.
F[A] - это совсем не обязательно стрим значений типа A
SA
F[A] - это совсем не обязательно стрим значений типа A
Разумеется, F[A] - более общее понятие, а стрим, который можно на нем построить - более частное.
𝛈µ
Я, по правде говоря, до сих пор в недоумении, насколько туго людям заходит мысль, что F[A] - это стрим значений типа А, а не одно значение.
F[a] = Nothing
AD
Разумеется, F[A] - более общее понятие, а стрим, который можно на нем построить - более частное.
SA
F[a] = Nothing
Ну ты же умный чувак, я видел твой код. Зачем ты пишешь ересь?
𝛈µ
Тому що ты развел какой-то богопротивный треш со своим функтором-полоскуном
AD
type F[_]; type A; и более ничего, мы ничего не можем сказать о F[A]
λ
У меня дежавю
ᛒ
type F[_]; type A; и более ничего, мы ничего не можем сказать о F[A]
факт