к
Size: a a a
2020 November 26
AV
А
Или это можно как-то в
~/.cabal/config где-нибудь документирован? Как добавить туда ещё один хакадж, что за root-keys и т.д.Или это можно как-то в
cabal.project сделать?cabal read the docs
Oℕ
Понять бы ещё что такое особенное в хаскеле есть что у нас все функторы сильные
Такое выполняется, как я понял, по меньшей мере когда множество точечных замыканий I -> (A => B) изоморфно A -> B
Oℕ
так что про порядок на числах можно спокойно забыть
моноидальных предпорядков много простых, на натуральных можно взять (<=, + 0), (<=, ×, 1)
Oℕ
тогда как раз операция, к примеру max(-, n) для любого строго положительного n является несильной монадой
Oℕ
потому что при n > 0, x > 1, y < n
не выполняется x * max(y, n) <= max(x*y, n)
не выполняется x * max(y, n) <= max(x*y, n)
Oℕ
так это что, опять не blah
AV
что-то последние 12 часов на канале СЛОЖНА
Oℕ
там немного другое говорится, так то любая замкнутая категория обогащена в себе, но замкнутость не даёт гарантированно сильных монад
Oℕ
В терминах скалы/хаскеля тоже можно сформулировать несколько нетривиальных замкнутых категорий, в которых будут свои монады не всегда сильные
Oℕ
там немного другое говорится, так то любая замкнутая категория обогащена в себе, но замкнутость не даёт гарантированно сильных монад
т.е. там говорится, что функтор сильный, когда он так же является и обогащённым функтором в той же категории
AV
Как один и тот же человек может гнать на exception и не добавлять в комментарий или ещё как те exception которые может добавлять функция]/
AV
причём ругаться именно на то, что когда берёшь функцию не знаешь, что там
Oℕ
причём ругаться именно на то, что когда берёшь функцию не знаешь, что там
но ведь никто не заставил его эти эксепшоны перечислить
Oℕ
Никая система типов
AV
Тогда чего не других ругаться, что так не делают?
KV
> 2020
> не могут достать из сорцев возможные исключения
> не могут достать из сорцев возможные исключения