Oℕ
Я. Не исключаю, что для финтех школы у вас другой стиль
Ну в этом чате я общаюсь с вами как с коллегой по стремлению обучать, а не студентом
Size: a a a
2020 August 02
AD
Больше ничего, не вычисление, не монада, не контейнер, не контекст
ΛВ
Есть. Моё текущее понимание - F[A] - это абстрактное вычисление, порождающее значение (или значения) типа А. Конечно, можно придумать контрпример, но в 95% случаев это так.
Option[A], Id[A] — не думаю, что это вычисления, это вполне конкретные значения
AD
Просто 2 типа
AD
Бессмысленная писанина
𝛈µ
Енот-полоскун-это функтор
𝛈µ
Функтор Алаева
AD
Смысл появляется только в контексте
SA
Option[A], Id[A] — не думаю, что это вычисления, это вполне конкретные значения
Это два примера монад над константными функциями. Но это только два примера, разнообразие монад намного шире.
AD
Голый скалафайл в репле trait T{type A; type F[_]]}
ΛВ
Это два примера монад над константными функциями. Но это только два примера, разнообразие монад намного шире.
тем не менее это опровергает ваше утверждение, что любой F[A] — абстрактное вычисление
𝛈µ
Это два примера монад над константными функциями. Но это только два примера, разнообразие монад намного шире.
Если 42 - это функтор - расширь его до монады, плез
AD
Если 42 - это функтор - расширь его до монады, плез
Возьми олеговский 42 и расширь
SA
тем не менее это опровергает ваше утверждение, что любой F[A] — абстрактное вычисление
Где я сказал слово "любой"?
AD
Только троллейбус из буханки хлеба
SK
Есть. Моё текущее понимание - F[A] - это абстрактное вычисление, порождающее значение (или значения) типа А. Конечно, можно придумать контрпример, но в 95% случаев это так.
Так вот здесь и говорите
ΛВ
Есть. Моё текущее понимание - F[A] - это абстрактное вычисление, порождающее значение (или значения) типа А. Конечно, можно придумать контрпример, но в 95% случаев это так.
то есть здесь вы имели в виду некоторые F?
SA
Смысл появляется только в контексте
Ну извини, смысл всего появляется только в контексте. Это бесполезное утверждение.
ΛВ
Ну извини, смысл всего появляется только в контексте. Это бесполезное утверждение.
так задайте вопрос в контексте