к
А для intersection нельзя mempty
хм точно да, понятно теперь почему fold1
Size: a a a
2020 December 06
AP
нет смысла заводить привычку думать каждый раз о том пустые тут или не пустые, если можно сразу предоставить пруф
В данном случае можно было сделать на NonEmpty. Но в общем случае пруфы делать на каждый чих для радифановых задачек вроде AdventOfCode я бы не стал, например.
IR
Потому что пересечение с пустым множеством даст пустое множество
а почему нельзя? ну пустое и пустое.
A
тебе надо пересечение всех множеств данного списка. Если ты сразу пересечешь с пустым, результат будет пустым
к
ну тогда оно всегда будет пустое, не подходит под задачу
IR
В данном случае можно было сделать на NonEmpty. Но в общем случае пруфы делать на каждый чих для радифановых задачек вроде AdventOfCode я бы не стал, например.
с другой стороны - задачки типа Демидовичка Advent of Code как раз и хороши, чтобы поставить правильные привычки и не делать глупых ошибок в рабочем коде
AP
Кароч, для операции пересечения нет нейтрального элемента, если не считать надмножество всех значений
к
в данном случае можно просто взять Set.fromList ['a'..'z']
AP
с другой стороны - задачки типа Демидовичка Advent of Code как раз и хороши, чтобы поставить правильные привычки и не делать глупых ошибок в рабочем коде
Давай не нагнетай тут. Кому надо практиковать пруфы, тот пусть и практикует
AP
А набегать и топить за корректность можете в общем чате
к
и в принципе для всех Enum,Bounded с lazy set можно иметь моноид по пересечению
IR
Давай не нагнетай тут. Кому надо практиковать пруфы, тот пусть и практикует
ни в коем случае, просто периодически народ спрашивает чего бы такого поделать чтобы набить руку. вот - адвенты всякие...
AP
Тогда ок :)
AP
и в принципе для всех Enum,Bounded с lazy set можно иметь моноид по пересечению
Это может быть дорого
AP
Int64 тоже баундед и перечислимый
к
поэтому и lazy set, я сейчас смотрю как раз на способы энкодить бесконечные сеты
AP
Можно на функциях сделать ещё. Но это отдельная задачка уже
IR
Кароч, для операции пересечения нет нейтрального элемента, если не считать надмножество всех значений
а для пересечения нескольких есть - пустой сет.
просто тут придётся поставить case на входные данные. А раз кейс есть, то уже и первый элемент для фолда считай есть.
просто тут придётся поставить case на входные данные. А раз кейс есть, то уже и первый элемент для фолда считай есть.
AP
Для "пересечения нескольких" не нужен нейтральный элемент
IR
а в задачем там зуб дают, что вход непустой?