ЕО
Интересно, не знал
Size: a a a
2019 December 17
ЕО
О как, на нкатлаб тоже так: https://ncatlab.org/nlab/show/interval
CE
Во франции [a;b) пишут как [a;b[
В Зориче тоже
YS
как минимум, есть "функции", которые пишутся справа от аргумента:
_² (квадрат), _' (производная), _ᵀ (транспонирование)
_² (квадрат), _' (производная), _ᵀ (транспонирование)
ЕО
О как, на нкатлаб тоже так: https://ncatlab.org/nlab/show/interval
Интересно, статью тоби бартелс писал, а он американец
AZ
Все еще не понимаю. Смотрю на картинку. Функция ab должна иметь тип Fb -> Gb
AZ
разве у Gf(aa(Ff^-1)) такой тип?
AZ
вроде нет
KV
разве у Gf(aa(Ff^-1)) такой тип?
Gf(aa(Ff^-1(x))) = ab(x)
Всё сходится же
Всё сходится же
ЕО
У lambda x. Gf(aa(Ff^-1(x))) же
AZ
да, действительно. Спасибо
SK
Почему другие? Через bottom?
SK
здесь же чат про ТК, а не про Хаскель. в Хаскеле монады совсем другие и они врядли помогут категорные монады понять
YS
Почему другие? Через bottom?
это ко мне?
YS
Почему другие? Через bottom?
какие-то упрощённые по-моему
Oℕ
здесь же чат про ТК, а не про Хаскель. в Хаскеле монады совсем другие и они врядли помогут категорные монады понять
а что "другого" в монадах хаскеля?
Oℕ
Почему другие? Через bottom?
ничего другого там нет
AZ
здесь же чат про ТК, а не про Хаскель. в Хаскеле монады совсем другие и они врядли помогут категорные монады понять
хаскельная вики говорит что "платонический" хаскель без андефайнов вполне себе категорный
Oℕ
просто они ограничены одной наперёд заданной категорией, как выглядят монады в Set вполне можно понять, но это лишь один пример
AV
А не без seq?