λ
Сложно по гитхабу разбираться. Надо выкачать манатки на компуктер и потыкать внимательно
Size: a a a
2019 December 27
λ
Вечером напомню себе это сделать
Oℕ
ну и наверное, основная тема в том, что это на хайеркайнд обобщается
Oℕ
т.е. можно иметь сложные типизированные структуры, субтайпинг между разными структурами, любые нормальные формы обхода и все формы генерализованной рекурсии
Oℕ
например, можно было бы сделать ZIO так, что было бы 10 типов
Oℕ
типа вот ZIO который не запускает файберы
Oℕ
а вот ZIO который внутри не может делать effect
Oℕ
т.е. прям сложный структурный контроль эффектов
Oℕ
и все они были бы подтипами чего-то общего
Oℕ
и можно было бы ZManaged, ZStream и т.п. тоже в эту иерархию засунуть
Oℕ
т.е. вместо промежуточных методов типа Fiber.toManaged или ZStream.fromEffect
Oℕ
можно было бы просто субтайпинг использовать, и расширять всю эту вакханалию не копипастя сто одинаковых методов всюду
Oℕ
ну и много ещё применений
Oℕ
вот сейчас хочу для фри структур использовать
Oℕ
чтобы FreeCategory была подтипов FreeArrow и одновременно FreeSMC
λ
Надо статью на dev.to сразу писать
λ
И нас с Александром в превью читатели
Oℕ
Но чтобы для глубоких рекурсий типа связных списов делать нужна стекобезопасность
Oℕ
Поэтому вчера я понял, что нужно что-то, чтобы eval засунуть внутрь обхода