АХ
Нужен fourier_case, где буквы вообщ вращаются
Size: a a a
2020 November 27
EP
___.___.._ morse case
Y
кстати .. какие извествные приложухи с открытым кодом которыми всеми пользуются есть писанные на хаскеле
Shellcheck
SL
Shellcheck
это что такое ?
AV
Нужен fourier_case, где буквы вообщ вращаются
dirichle case
AV
когда каждая рациональная буква 0, а иррациональная 1
к
тогда как раз операция, к примеру max(-, n) для любого строго положительного n является несильной монадой
о блин, такие монады я не придумал, действительно
Oℕ
о блин, такие монады я не придумал, действительно
ну для любого предпорядка монада - это идемпотентная монотонная функция, т.е. что-то вроде "минимальное значение не меньше x, для которого выполнено ..."
к
потому что при n > 0, x > 1, y < n
не выполняется x * max(y, n) <= max(x*y, n)
не выполняется x * max(y, n) <= max(x*y, n)
так, а вот тут один момент, произведение можно брать разве произвольное? То есть нет ограничения на то, что произведение - минимальное значение?
Oℕ
так, а вот тут один момент, произведение можно брать разве произвольное? То есть нет ограничения на то, что произведение - минимальное значение?
да, на неотрицательных числах произведение с единицей - это корректный моноидальный предпорядок
Oℕ
(x <= y, a <= b) => x * a <= y * b
ассоциативность, унитарность строгая
ассоциативность, унитарность строгая