к
"если бы это было важно"
А оно не должно быть важно, блин
Size: a a a
2021 March 07
KV
к
filtered тоже не должен быть траверсалом, и паттерн матчинг тоже должен быть всегда полным, и undefined быть не должно, и head должен возвращать maybe или требовать непустой список
мы находимся в мире, где Num в хаскеле это не только законный класс, но и единственный нормальный способ определять для типов числовые литералы, и переопределять +
мы находимся в мире, где Num в хаскеле это не только законный класс, но и единственный нормальный способ определять для типов числовые литералы, и переопределять +
KV
Если Вы пишете какой-то свой тип, который заведомо не подчиняется числовым законам (даже приблизительно), пишете для него инстанс числа, и хотите использовать с ним числовую функцию, о которой Вы случайно знаете, что её реализация случайно уважает какие-то желаемые Вами инварианты — ну это жесть какая-то
KV
filtered тоже не должен быть траверсалом, и паттерн матчинг тоже должен быть всегда полным, и undefined быть не должно, и head должен возвращать maybe или требовать непустой список
мы находимся в мире, где Num в хаскеле это не только законный класс, но и единственный нормальный способ определять для типов числовые литералы, и переопределять +
мы находимся в мире, где Num в хаскеле это не только законный класс, но и единственный нормальный способ определять для типов числовые литералы, и переопределять +
Пользователь filtered не должен полагаться на то, каким именно образом реализация нарушает законы траверсалов, он просто должен знать, что законы нарушаются, и всё
KV
> мы находимся в мире, где Num в хаскеле это не только законный класс, но и единственный нормальный способ определять для типов числовые литералы, и переопределять +
Ну я понимаю, что определить свой собственный sum с нужными свойствами — это трагедия вселенского масштаба, да
Ну я понимаю, что определить свой собственный sum с нужными свойствами — это трагедия вселенского масштаба, да
KV
"я не хочу писать свой sum в одну строчку" — это не очень хорошее оправдание для "дайте мне полагаться на несущественные детали реализации"
JS
filtered тоже не должен быть траверсалом, и паттерн матчинг тоже должен быть всегда полным, и undefined быть не должно, и head должен возвращать maybe или требовать непустой список
мы находимся в мире, где Num в хаскеле это не только законный класс, но и единственный нормальный способ определять для типов числовые литералы, и переопределять +
мы находимся в мире, где Num в хаскеле это не только законный класс, но и единственный нормальный способ определять для типов числовые литералы, и переопределять +
откуда берётся вообще задача переопределять (+)? если просто значок нравится, то можно Prelude hiding (Num)
к
откуда берётся вообще задача переопределять (+)? если просто значок нравится, то можно Prelude hiding (Num)
ага, для всего модуля
к
"я не хочу писать свой sum в одну строчку" — это не очень хорошее оправдание для "дайте мне полагаться на несущественные детали реализации"
да окей, никто не оправдывался и не требовал оправданий, я задал конкретный вопрос с конкретными вариантами ответа
JS
filtered тоже не должен быть траверсалом, и паттерн матчинг тоже должен быть всегда полным, и undefined быть не должно, и head должен возвращать maybe или требовать непустой список
мы находимся в мире, где Num в хаскеле это не только законный класс, но и единственный нормальный способ определять для типов числовые литералы, и переопределять +
мы находимся в мире, где Num в хаскеле это не только законный класс, но и единственный нормальный способ определять для типов числовые литералы, и переопределять +
в Ivory тоже есть Num для AST, но там вызывается оптимизатор перед выхлопом, так что
x+0 == x эффективно выполняется. почему бы тебе не сделать подобным образом?KV
Если из класса Num убрать закон (ну так-то их там строго говоря нет, но есть рекомендуемые) о том, что fromInteger 0 это нейтральный элемент, и добавить в спецификацию соответствующих функций такое требование, что они не навешивают лишних нулей, то можно поменять, да
Но это странный какой-то Num получится
Но это странный какой-то Num получится
к
в Ivory тоже есть Num для AST, но там вызывается оптимизатор перед выхлопом, так что
x+0 == x эффективно выполняется. почему бы тебе не сделать подобным образом?потому что это будет нежелательным результатом для моей задачи. Валидным, но нежелательным