@elemir90 ты как-то писал, что множество - пара из принадлежности и равенства, но зачем равенство, если (∀ α ∈ A. α ∈ B) ∧ (|A| = |B|) ⇔ A = B или (∀ α ∈ A. α ∈ B) ∧ (∀ α ∈ B. α ∈ A) ⇔ A = B да и как получить мощность множества за конечное время (или в математике это не значения)?

Первое утверждение не верно, контрпример -- B это натуральные числа, а А это натуральные числа без единицы. Второе утверждение это аксиома теории множеств, её неоткуда "вывести". Она задаёт взаимоотношения принадлежности и равенства, да

соре за офтоп, есть чаты какиенить по матану и дискретке?

сейчас напишут, что ни того, ни другого файла вообще не должно быть

твой код например может запускаться в Reader Request Response а param это Text -> Reader Request (Maybe Text)

сейчас напишут, что ни того, ни другого файла вообще не должно быть

вообще у меня какое-то раздражение от исходников проектов на хаскеле, вот читаешь все эти на первый взгляд красивые и умные вещи про "правильную" композицию с помощью теории категорий, а потом открываешь какой-нибудь скотти и тебе кажется, что оно там используется как-то извращённо, то есть не добавляет понимания, а кажется наоборот

Значит надо создать свой язык. С багами и костылями!)

ну вот ActionM это просто обертка над 1) эксептом, то есть мы можем кидать и кетчить эксепшены в экшонах 2) ридером над реквестом 3) стейтом над респонсом

у меня никаких претензий к языку вообще

1) String через список 2) много косяков из-за того, что язык старый, а обратную совместимость поддерживать нужно, например с полугруппами (которые относительно недавно добавлены), которые "наследуются" от моноидов, а не наоборот. Или монады, которые только недавно стали наследовать от апликативов и еще и pure дублируют 3) опасные функции типа head, которые предпочитаемо должны отдавать Maybe или помечаться как unsafe 4) имена идентификаторов придуманы от балды, кто блин догадается, что first это map первого элемента бифунктора, а fst - это взять первый элемент пары 5) где-то в тайпклассах операторы, где-то текстовые имена функций [и алиасы] 6) ну base имхо попросту жирный какой-то 7) некоторые ужасно жирные тайпклассы типа Num это вот то что сходу к прелюдии вспомнил можно посмотреть на https://pursuit.purescript.org/packages/purescript-prelude/3.1.0, вот там все имхо близко к совершенству

1) String через список 2) много косяков из-за того, что язык старый, а обратную совместимость поддерживать нужно, например с полугруппами (которые относительно недавно добавлены), которые "наследуются" от моноидов, а не наоборот. Или монады, которые только недавно стали наследовать от апликативов и еще и pure дублируют 3) опасные функции типа head, которые предпочитаемо должны отдавать Maybe или помечаться как unsafe 4) имена идентификаторов придуманы от балды, кто блин догадается, что first это map первого элемента бифунктора, а fst - это взять первый элемент пары 5) где-то в тайпклассах операторы, где-то текстовые имена функций [и алиасы] 6) ну base имхо попросту жирный какой-то 7) некоторые ужасно жирные тайпклассы типа Num это вот то что сходу к прелюдии вспомнил можно посмотреть на https://pursuit.purescript.org/packages/purescript-prelude/3.1.0, вот там все имхо близко к совершенству

1) String через список 2) много косяков из-за того, что язык старый, а обратную совместимость поддерживать нужно, например с полугруппами (которые относительно недавно добавлены), которые "наследуются" от моноидов, а не наоборот. Или монады, которые только недавно стали наследовать от апликативов и еще и pure дублируют 3) опасные функции типа head, которые предпочитаемо должны отдавать Maybe или помечаться как unsafe 4) имена идентификаторов придуманы от балды, кто блин догадается, что first это map первого элемента бифунктора, а fst - это взять первый элемент пары 5) где-то в тайпклассах операторы, где-то текстовые имена функций [и алиасы] 6) ну base имхо попросту жирный какой-то 7) некоторые ужасно жирные тайпклассы типа Num это вот то что сходу к прелюдии вспомнил можно посмотреть на https://pursuit.purescript.org/packages/purescript-prelude/3.1.0, вот там все имхо близко к совершенству

например когда нужны кметовские линзы, а универсум экспортит микролинзы они в принципе совместимы вроде, типы же одинаковые, просто могут быть ambiguous