Nothing это же один из конструкторов Maybe

спасибо, капитан!

я имел в виду использовать Maybe a там, где хотелось использовать a с пустым значением

Чем же так плохо? class Defaulted a where default :: a

Не с пустым а с дефолтным (определение дефолтности мы не услышали)

Чем же так плохо? class Defaulted a where default :: a

Defaultable lol

Но вообще логично конечно, если дефолтный элемент может быть любым

Определение дефолтности зависит от типа

Default из библиотеки не привязан к задаче, потому не очень осмысленный

если определить в своей программе свой Default, то в принципе ок

и задокументировать семантику, конечно

Default из библиотеки не привязан к задаче, потому не очень осмысленный

Тогда более специфичного класса чем Defaulted/Default быть не может

Я, впрочем, считаю, что хейтерство Default слишком сильно. Если у типа есть есдинственное и осмысленное значение по умолчанию, то им вполне можно пользоваться

Определение дефолтности зависит от типа

Точнее это хотел процитировать

Кстати тогда логично Monoid сделать подклассом Default

С определением emepty=def

Дефолтность всегда относительно операции, не может у типа быть дефолтного значения

С определением emepty=def

Ужасная идея!

Тем временем предлагаю попробовать поддержку дефолтных параметров в https://hackage.haskell.org/package/named

Дефолтность всегда относительно операции, не может у типа быть дефолтного значения

Нет, нулевость относительно операции, а дефолтность может быть любой "специальный" элемент

Так по какому принципу ты его выберешь?

Произвольно. Но некоторый выбор более полезен чем другие

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

То есть принцип какой-то все равно нужен

Например для FilePath это может быть "." или "/"

14, 18, 21(возраст) - примеры дефолтных значений

Так "." или "/"?

надо вклчить эту тему в число взрывоопасных

наряду с легалайзом, собаками и некоторыми другими

RelativeFilePath "." AbsoluteFilePath "/"

надо вклчить эту тему в число взрывоопасных

Это вопрос Шредингера. При попытке задать его достаточно строго, он исчезает

RelativeFilePath "." AbsoluteFilePath "/"

А вот для просто FilePath как? Я так хитрить тоже умею. Для Integer не определяем, а для Sum Integer пусть 0, для Product Integer пусть 1

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

А вот для просто FilePath как? Я так хитрить тоже умею. Для Integer не определяем, а для Sum Integer пусть 0, для Product Integer пусть 1

Сделаем его абстрактным

Ну допустим сделали, не про String же речь, а то б уже давно вариант "" прозвучал

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

Предлагаю undefined в качестве дефолтного значения

Для всех типов

Я могу вот заметить, что "." для relative и "/" для absolute выполняют свойство def </> path = path

то есть операция явно </>

Кстати тогда логично Monoid сделать подклассом Default

нет, не логично

нет, не логично

Почему?

неужели выше не было ясно указано, что нейтральный элемент не имеет к типу отношения, это свойство операции и только операции

то есть дефолтный элемент и нейтральный из моноида - вообще разные вещи

неужели выше не было ясно указано, что нейтральный элемент не имеет к типу отношения, это свойство операции и только операции

Нейтральный != дефолтный

так дефолтный ты сказал произвольно выбирать, а в моноиде нейтральный

ну вот я про это и говорю же, тогда в чем твой смысл сделать Monoid <= Default, если у моноида именно НЕЙТРАЛЬНЫЙ, а у дефолта ДЕФОЛТНЫЙ

поэтому Default m => Monoid m вообще 0 смысла имеет

то есть дефолтный элемент и нейтральный из моноида - вообще разные вещи

С точки зрения математики одно и то же

даже если допустить этот дурной Default

который вообще вырезать надо

С точки зрения математики одно и то же

абсолютно нет

Назови его не дефолтным а специальным

с точки зрения математики ты вообще не опишешь дефолт

максимальная нижняя граница на предпорядке? А если нет предполярка

shadowjack: Нейтральный != дефолтный shadowjack, 1 minute later: С точки зрения математики одно и то же

с точки зрения математики ты вообще не опишешь дефолт

Существует элемент default принадлежащий множеству Set. Всё.

с точки зрения матемтики нет ничего плохого иметь множество опредений моноидов, это просто разные кортежи

поэтому и default там никак не связан с моноидом

Пардоньте, а какое дефолтное значение у функции? Для a -> a, и для a - > b

Существует элемент default принадлежащий множеству Set. Всё.

множеству Set принадлежат другие множества

(ниже по иерархии)

то есть если ты утверждаешь, что default это множество, то какие в нем тогда элементы?

множеству Set принадлежат другие множества

Э??

Ы??

Set это что за конструкция?

Это имя

Пусть будет не Set а S

Ы??

Ты принадлежит и является подмножеством не путаешь?

Нет, я называю множеством Set элементы (объекты) категории Set

есть множество натуральных чисел, целых чисел, есть Set, и т.д.

в Agda так тип типов назван

При чем тут Agda? Мы про математическую нотацию. Мне юникодом написать?

ну если пришел к хаскелистам, изволь называть переменные с маленькой буквы, потому что я действительно не так понял твою идею

твое утверждение "в любом множестве s есть дефолтный элемент a ∈ s" ну во-первых это неверно для пустого множества

Во-вторых весь разговор про то, как ты выбираешь этот элемент. Ты говоришь "произвольно, по полезности", тебе говорят, что полезность определяется операциями, которые ты используешь. Например, числа ты складываешь, поэтому 0 полезно. Еще умножаешь, поэтому 1 полезно. Файловые пути конкатенируешь, поэтому "." и "/" полезно.

Без операций вообще само множество бесполезным становится.

Так что ты всегда дефолтный элемент будешь выбирать по операции.

Нет, я называю множеством Set элементы (объекты) категории Set

Лучше не назвать это множеством, сам знаешь

ну класс, множество

Класс да

класс это множество_1