Oℕ
Т.е. когда F только в результате
Size: a a a
ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
450 membersпожаловаться на группу
2019 December 25
Oℕ
Но бывают рекурсивные
Oℕ
Где F в параметрах.
Я хочу разбить такие трейты на два разных F - в инпуте и аутпуте
Я хочу разбить такие трейты на два разных F - в инпуте и аутпуте
Oℕ
И представив рекурсию таким способом вытащить универсальное представление для такой формы F - модулей
KS
Kirill Shelopugin in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
Пора тофу пилить на две части - для простаков с енвом, тайпклассами вместо котов; и для мастермайндов с оптиками, хаеркайндами
Oℕ
Оптики для простого народа
Oℕ
И это тоже для простого народа будет
DM
Daniel Matveev in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
@catostrophe поддержи Олега, больше некому(
DM
Daniel Matveev in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
Оптики для простого народа
вот это уже хороший лозунг!
Oℕ
Kirill Shelopugin
Пора тофу пилить на две части - для простаков с енвом, тайпклассами вместо котов; и для мастермайндов с оптиками, хаеркайндами
Например, собеседуя хацкелистов , спрашивая про lens мы выяснили, что возможно только пара челиков типа торта может примерно вспомнить ,как выглядит вообще тип линзы и призмы там.
Остальные умеют только пользоваться примерно
Остальные умеют только пользоваться примерно
DM
Daniel Matveev in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
я "репрезантативный" помню только по кружку и то он звучал тогда, как полезный для упрощения доказательств, а не для созидания новых рабочих форм
Oℕ
Kirill Shelopugin
Пора тофу пилить на две части - для простаков с енвом, тайпклассами вместо котов; и для мастермайндов с оптиками, хаеркайндами
То же самое в скале.
Все могут юзать ИО или дуби, однако рассказать или примерно воспроизвести, как этот тип устроен, очень мало людей может
Все могут юзать ИО или дуби, однако рассказать или примерно воспроизвести, как этот тип устроен, очень мало людей может
KS
Kirill Shelopugin in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
Ну в дуби то фри
KS
Kirill Shelopugin in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
Чо там
Oℕ
Kirill Shelopugin
Ну в дуби то фри
Ну и как примерно выглядит
KS
Kirill Shelopugin in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
Free[F, ConnectionIO] емнип
KS
Kirill Shelopugin in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
И визитором это всё проходится, да
KS
Kirill Shelopugin in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
Во второй части не ConnectionIO пардон