KS
Kirill Shelopugin in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
Там алгебра базовая
Size: a a a
ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
450 membersпожаловаться на группу
2019 December 25
Oℕ
я "репрезантативный" помню только по кружку и то он звучал тогда, как полезный для упрощения доказательств, а не для созидания новых рабочих форм
Ну что такое упрощение доказательств для представимого - это значит, что ты автоматически можешь представить свидетельство чего-то интересного, т.к. из хом функтора можно всё получить.
То же самое и с тофу - можно кучу инстансов для твоей "алгебры" получить автоматом, зная, что она выразима через Hom
То же самое и с тофу - можно кучу инстансов для твоей "алгебры" получить автоматом, зная, что она выразима через Hom
Oℕ
Абсолютно та же идея
Oℕ
Kirill Shelopugin
Там алгебра базовая
Ну так
Oℕ
я "репрезантативный" помню только по кружку и то он звучал тогда, как полезный для упрощения доказательств, а не для созидания новых рабочих форм
доказательство = конструкция
Oℕ
Kirill Shelopugin
И визитором это всё проходится, да
> визитором
.
тут кто-то есть с Еревана?
KS
Kirill Shelopugin in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
> визитором
Да, визитором. Вместо того чтобы писать интерпретатор, каждая алгебра имеет метод visit, который переопределяется в наследниках
Oℕ
Kirill Shelopugin
Там алгебра базовая
Как ты сам продемонстрировал, чтобы пользоваться дуби, не нужно понимать, как он устроен
.
конечно маловероятно, но но всё же спрошу
AT
Aλeksei Tereχin in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
конечно маловероятно, но но всё же спрошу
вот это сообщение должно было быть первым
.
вот это сообщение должно было быть первым
независимые сайд-эффекты
AT
Aλeksei Tereχin in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
ты нарушашеь хаппенед бефор
Oℕ
Kirill Shelopugin
Да, визитором. Вместо того чтобы писать интерпретатор, каждая алгебра имеет метод visit, который переопределяется в наследниках
Покажи исходник плес
KS
Kirill Shelopugin in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
https://github.com/tpolecat/doobie/blob/0ce7a2eb345ac6c38addbe46ad3c320d15167937/modules/free/src/main/scala/doobie/free/connection.scala#L35
Простите, что не вспомнил на память точную сигнатуру, пришлось искать по коду
Простите, что не вспомнил на память точную сигнатуру, пришлось искать по коду
VS
Kirill Shelopugin
https://github.com/tpolecat/doobie/blob/0ce7a2eb345ac6c38addbe46ad3c320d15167937/modules/free/src/main/scala/doobie/free/connection.scala#L35
Простите, что не вспомнил на память точную сигнатуру, пришлось искать по коду
Простите, что не вспомнил на память точную сигнатуру, пришлось искать по коду
буквально вчера думал, не втащить ли такой подход в бизнес логику