__
вывод там такой что манатка интересная но непрактичная :)
Size: a a a
2019 June 26
PG
Вот это прямо круто
__
вот свеженькая модификация кажется
PG
Читал и наслаждался
AG
там не про Гири, но какая-то монадка
это для дискретных распределений, с гомотопическим бантиком :)
2019 June 28
ЕО
Извините
2019 June 29
NI
Очень злая картинка ;-)
t
Всем привет
Подскажите плз, а как моделируется side effects при помощи теории категорий? Я правильно понимаю, что категория Клейсли может справиться с моделированием side effects?
Подскажите плз, а как моделируется side effects при помощи теории категорий? Я правильно понимаю, что категория Клейсли может справиться с моделированием side effects?
NI
Любая категория с произведениями может с этим справиться.
Видимо, вы хотите задать какой-то другой вопрос, но пока не получается уловить, какой именно.
Видимо, вы хотите задать какой-то другой вопрос, но пока не получается уловить, какой именно.
t
Любая категория с произведениями может с этим справиться.
Видимо, вы хотите задать какой-то другой вопрос, но пока не получается уловить, какой именно.
Видимо, вы хотите задать какой-то другой вопрос, но пока не получается уловить, какой именно.
Спасибо за ответ. А где можно посмотреть более детально аргументацию того, что категориальное произведение может моделировать side effects?
У меня сейчас в голове каша из-за того, что скопом посмотрел видео Милевского и Брагилевского по теоркату. Ищу наборы практических примеров теоретико категориальных абстракций
У меня сейчас в голове каша из-за того, что скопом посмотрел видео Милевского и Брагилевского по теоркату. Ищу наборы практических примеров теоретико категориальных абстракций
NI
Взять некий "объект S глобального состояния" и рассматривать стрелки вида
SxX → SxY
;-)
SxX → SxY
;-)
NI
Только это неинтересный пример.
VY
бтв у того же Бартоша в книге и статьях есть примеры (на хаскеле)
https://bartoszmilewski.com/2016/11/30/monads-and-effects/
https://core.ac.uk/download/pdf/21173011.pdf
https://bartoszmilewski.com/2016/11/30/monads-and-effects/
https://core.ac.uk/download/pdf/21173011.pdf
NR
terancet
Спасибо за ответ. А где можно посмотреть более детально аргументацию того, что категориальное произведение может моделировать side effects?
У меня сейчас в голове каша из-за того, что скопом посмотрел видео Милевского и Брагилевского по теоркату. Ищу наборы практических примеров теоретико категориальных абстракций
У меня сейчас в голове каша из-за того, что скопом посмотрел видео Милевского и Брагилевского по теоркату. Ищу наборы практических примеров теоретико категориальных абстракций
Олега ещё можно почитать про моделирование сайдэффектов
ЕО
Взять некий "объект S глобального состояния" и рассматривать стрелки вида
SxX → SxY
;-)
SxX → SxY
;-)
Ну этот объект глобального состояния должен какими-то свойствами обладать ещё. Думаю хватит мономорфизма из любого объекта в него, но я не уверен.
Не во всякой декартово-замкнутой категории такой можно найти.
Не во всякой декартово-замкнутой категории такой можно найти.
Oℕ
Ну этот объект глобального состояния должен какими-то свойствами обладать ещё. Думаю хватит мономорфизма из любого объекта в него, но я не уверен.
Не во всякой декартово-замкнутой категории такой можно найти.
Не во всякой декартово-замкнутой категории такой можно найти.
А зачем нужен такой мономорфизм?
Oℕ
S может быть просто представлением RealWorld, тогда нам не нужно специальногг способа "инициализации"
NI
Ну этот объект глобального состояния должен какими-то свойствами обладать ещё. Думаю хватит мономорфизма из любого объекта в него, но я не уверен.
Не во всякой декартово-замкнутой категории такой можно найти.
Не во всякой декартово-замкнутой категории такой можно найти.
Не, не обязательно.
Я про более простую вещь.
Например, есть "глобальная переменная" типа int, её и можно менять.
Я про более простую вещь.
Например, есть "глобальная переменная" типа int, её и можно менять.
ЕО
S может быть просто представлением RealWorld, тогда нам не нужно специальногг способа "инициализации"
Ну я исходя из этой аналогии и предложил потребность в мономорфизмы отовсюду. Я рассуждал так: в RealWorld должно поместиться любое состояние. Я не прав?