Size: a a a

2019 December 30

NV

Nikita Vilunov in rust_offtopic
теоркат на самом деле помогает лучше понять теорию типов, но до некоторой степени
источник

AZ

Alex Zhukovsky in rust_offtopic
Gymmasssorla
@Psilon, а зачем тебе теория категорий?
ну можно умничать
источник

OA

Oleg Andreev in rust_offtopic
Nikita Vilunov
теоркат на самом деле помогает лучше понять теорию типов, но до некоторой степени
why tho
источник

AZ

Alex Zhukovsky in rust_offtopic
Gymmasssorla
@Psilon, а зачем тебе теория категорий?
Например, ты знал, что если монада T над неким топосом имеет правый сопряжённый, то категория T-алгебр (над этой монадой) — топос?
источник

G

Gymmasssorla in rust_offtopic
Alex Zhukovsky
Например, ты знал, что если монада T над неким топосом имеет правый сопряжённый, то категория T-алгебр (над этой монадой) — топос?
Нет, а зачем мне это нужно?) А да, умничать
источник

OA

Oleg Andreev in rust_offtopic
это мне поможет сделать апп для приема платежей
источник

AZ

Alex Zhukovsky in rust_offtopic
Gymmasssorla
Нет, а зачем мне это нужно?) А да, умничать
Ты же знаешь, что теоркат позволяет тебе устроиться потом преподавателем теорката
источник

NV

Nikita Vilunov in rust_offtopic
потому что теоркат изучает структуру с законами, а в типах очень много структуры и законов
источник

OA

Oleg Andreev in rust_offtopic
как план Б или план А?
источник

AZ

Alex Zhukovsky in rust_offtopic
Но вообще теоркат хорош
источник

AZ

Alex Zhukovsky in rust_offtopic
те же экспоненциалы прям глаза раскрыли на адт
источник

p

polunin.ai in rust_offtopic
Alex Zhukovsky
Например, ты знал, что если монада T над неким топосом имеет правый сопряжённый, то категория T-алгебр (над этой монадой) — топос?
Типичная программа на хаскеле
источник

AZ

Alex Zhukovsky in rust_offtopic
polunin.ai
Типичная программа на хаскеле
скорее на коке
источник

NV

Nikita Vilunov in rust_offtopic
Oleg Andreev
это мне поможет сделать апп для приема платежей
нам помогает кстати
источник

OA

Oleg Andreev in rust_offtopic
много платят?
источник

NV

Nikita Vilunov in rust_offtopic
норм
источник

p

polunin.ai in rust_offtopic
Oleg Andreev
чтоб пока все ноют что он уродский, спокойно остальные фичи делать, а потом уже заменить его на нормальный
источник

AZ

Alex Zhukovsky in rust_offtopic
Или тип-сумма и тип-произведение как предел и копредел для категории без морфизмов
источник

OA

Oleg Andreev in rust_offtopic
так и запишем
источник

AZ

Alex Zhukovsky in rust_offtopic
@hirrolot короч полезно
источник