ЕО
А товарища Ричарда Д. Джеймса я в ро отправлю, если он будет набрасывать, пусть идёт свои синкопы одной фразой объясняет
Size: a a a
2021 November 22
s
Монада это всего лишь композиция функтора и его сопряжённого.
s
Равно как и комонада, просто порядок композиции другой.
JM
Извините, троля привёл я (случайно), когда показывал насколько местный робот-терминатор сильнее эрланговского. Линк на присоединение к чату никуда не кидал правда, так что чел как-то сам нашёл в поиске. Чел троллит, это точно. :)
(Это я к тому что можно смело банить)
(Это я к тому что можно смело банить)
ЕО
Дал ро
2021 November 23
∀
кстати, поделитесь если есть у кого текстом или линком интуитивное объяснение этих самых адьюнктов? (лучше на инглише)
Если я конечно правильно сопряженного перевожу. Если нет — можно и про них тоже
Если я конечно правильно сопряженного перевожу. Если нет — можно и про них тоже
2021 November 24
s
Basic category theory хорошая книга.
2021 November 26
T
привет! помогите разобраться.
Вот есть определение языка логики высказываний
Вот есть определение языка логики высказываний
T
и есть задание.
но на сколько я понимаю, истинно обратное: число вхождений бинарных связок в формуле может превосходить количество вхождений переменных.
но на сколько я понимаю, истинно обратное: число вхождений бинарных связок в формуле может превосходить количество вхождений переменных.
T
пример:
(T∧((T∧p))s
Странное утверждение. В
T ∨ T вообще нет переменных, когда же в V|V ∨ V||V их целых две.s
Если считать вхождение и переменных, и констант, то тогда да, связок должно быть меньше.
T
если из языка исключить истинностные константы, тогда всё сходится и предложенная гипотеза верна
s
Ну или так, да.
T
в общем, тут либо задание с подвохом, либо есть что-то что я упускаю
VV
ребят, что перед теорией категорий можно почитать?
NR
ну алгебру какую нибудь, типа теории групп. а что уже знаешь, какая цель?
VV
во-первых интересно, во-вторых - для лучшего понимания haskell) а так даже не знаю, что знаю, мне кажется всю институтскую алгебру и матан я благополучно забыл
NR
возможно со мной не согласятся но теоркат такой предмет который на одном интересе изучать сложно. нужно что-то делать с тем что узнал. а с хаскелем увы ничего не могу подсказать.
VV
а что с ней обычно делают? где применяется?