NV
теоркат на самом деле помогает лучше понять теорию типов, но до некоторой степени
Size: a a a
2019 December 30
AZ
@Psilon, а зачем тебе теория категорий?
ну можно умничать
OA
теоркат на самом деле помогает лучше понять теорию типов, но до некоторой степени
why tho
AZ
@Psilon, а зачем тебе теория категорий?
Например, ты знал, что если монада T над неким топосом имеет правый сопряжённый, то категория T-алгебр (над этой монадой) — топос?
G
Например, ты знал, что если монада T над неким топосом имеет правый сопряжённый, то категория T-алгебр (над этой монадой) — топос?
Нет, а зачем мне это нужно?) А да, умничать
OA
это мне поможет сделать апп для приема платежей
AZ
Нет, а зачем мне это нужно?) А да, умничать
Ты же знаешь, что теоркат позволяет тебе устроиться потом преподавателем теорката
NV
why tho
потому что теоркат изучает структуру с законами, а в типах очень много структуры и законов
OA
как план Б или план А?
AZ
Но вообще теоркат хорош
AZ
те же экспоненциалы прям глаза раскрыли на адт
p
Например, ты знал, что если монада T над неким топосом имеет правый сопряжённый, то категория T-алгебр (над этой монадой) — топос?
Типичная программа на хаскеле
AZ
Типичная программа на хаскеле
скорее на коке
NV
это мне поможет сделать апп для приема платежей
нам помогает кстати
OA
много платят?
NV
норм
p
чтоб пока все ноют что он уродский, спокойно остальные фичи делать, а потом уже заменить его на нормальный
AZ
Или тип-сумма и тип-произведение как предел и копредел для категории без морфизмов
OA
так и запишем
AZ
@hirrolot короч полезно