VS
...кажется
Size: a a a
2020 September 10
VS
ну в любом случае это как посмотреть, но unit это то самое ограничение, которое освобождает
ᛒ
Vasiliy
у дегоза что-то было в видосах про unit\any философию в ZIO
го купим его патрон за 300 бачей и поумнеем
ᛒ
научит нас фанкшанал дизайну
VS
го купим его патрон за 300 бачей и поумнеем
я пока бабки с расчетника еще не вывел, сорян
ΛВ
почему люди боятся неанонимных опросо
где
Oℕ
ну я не понимаю разницы между F[Unit] и F[_] для функтора, кроме гарбейж коллекторных для игерных
VS
вот если к конкретике: List[Any] - какая-то шляпа
List[Unit] - пригодится разве что, чтобы что-то посчитать
List[Unit] - пригодится разве что, чтобы что-то посчитать
VS
IO[Any] - 🤷♂️
IO[Unit] - ну все понятно, там точно кто-то переворачивает землю
IO[Unit] - ну все понятно, там точно кто-то переворачивает землю
NV
но ведь в функторах что Any, что Unit — оба являются терминал обжектами и смысл у них одинаковые
V
у него было, что мол Any - любой контекст
да, в R дырке, типа требуется для выполнения любой контекст, т.е. никакой специфичный не требуется
ΛВ
но ведь в функторах что Any, что Unit — оба являются терминал обжектами и смысл у них одинаковые
NV
То есть List[Any] — им тоже можно только что-то посчитать
Oℕ
но ведь в функторах что Any, что Unit — оба являются терминал обжектами и смысл у них одинаковые
давайте без терминов
ΛВ
Vasiliy
да, в R дырке, типа требуется для выполнения любой контекст, т.е. никакой специфичный не требуется
там же из-за контравариантности дырки было
VS
но ведь в функторах что Any, что Unit — оба являются терминал обжектами и смысл у них одинаковые
я бы согласился, с точностью до ЖВМ
Oℕ
я всё ещё не убеждён в терминальности Any
VS
учитывая, что мы на ней плотно сидим, Any как будто бы несет какой-то еще смысл в ней
ΛВ
я всё ещё не убеждён в терминальности Any
Эни не крут тем, что это как бы разрешает его юзать где-то еще, а потом придет жюн и начнет кастовать эни во что-то
VS
и что там теория категорий говорит про эквивалетность инишл обжектов?