S
ТФ это как Довод — хочется забыть чтобы понять заново
Size: a a a
2021 January 25
Oℕ
Поэтому полиморфная функция с[F[_] : Ctx] : F[A] , у которой в Ctx нет баундов, генерирующих ошибки -
Oℕ
это и есть UIO
TT
Ctx быстрее Rtx?
Oℕ
ок, я понел, удоляю
TT
Вот когда я серьезно спрашивал про тф - меня затроллели
TT
а теперь я нигилист
λ
Да блин(
Зачем сбрил усы
ZM
а теперь я нигилист
наконец ты понял
S
Слушать Олега это песня
Можно бесконечно и беспрерывно
Можно бесконечно и беспрерывно
λ
например [F[_] : Monad ]: F[Foo] - это способ кодировать Eval[Foo] = Free[Id, Foo]
@dmsol понятно?
D
например [F[_] : Monad ]: F[Foo] - это способ кодировать Eval[Foo] = Free[Id, Foo]
@catostrophe это наше будущее?
λ
Saitama
Слушать Олега это песня
Можно бесконечно и беспрерывно
Можно бесконечно и беспрерывно
На репите как ву тэнг
D
полное наслаждения от написания кода, который не пойдет в прод?
D
симфония 0.0.1-snapshot?
λ
полное наслаждения от написания кода, который не пойдет в прод?
Пора уже и о себе подумать
TT
ок, я понел, удоляю
я пошутил
объяснение кстати полезное
объяснение кстати полезное
Oℕ
я пошутил
объяснение кстати полезное
объяснение кстати полезное
s
ТФ - это не штука для прокидывания имплиситов - это кодировка некоторой структуры данных. Полиморфизм обеспечивает наличие структуры, состоящей только из конструкторов, соответствующих баундам
Полиморфизм делает всё непрактично общим. Баунды сужают общность внося куски применимости. Только про конструкторы не очень понятно.