История изменений
Исправление hateyoufeel, (текущая версия) :
Но вот возвращаясь к предмету спора. Ты монаду описал с помощью этого населённого боттома. А в теоркате боттом не населён и монаду описать так не получится.
Да, мы отдалились.
Что скажешь?
Я посидел сейчас (хе-хе-хе), подумал и решил, что ты прав, но моя логика чуток иная получилась. data Void1 a не является монадой, поскольку не является моноидом – нет такой функции, которая для любого значения a делала бы Void1 a, т.к. это предполагает маппинг в пустое множество, что будет абсурдом.
При этом, я всё ещё думаю, что data Void1 a будет являться функтором, поскольку множества значений у типов Void1 a и Void1 b оба являются пустыми множествами (минус bottom, конечно же).
Исправление hateyoufeel, :
Но вот возвращаясь к предмету спора. Ты монаду описал с помощью этого населённого боттома. А в теоркате боттом не населён и монаду описать так не получится.
Да, мы отдалились.
Что скажешь?
Я посидел сейчас (хе-хе-хе), подумал и решил, что ты прав, но моя логика иная получилась. data Void1 a не является монадой, поскольку не является моноидом – нет такой функции, которая для любого значения a делала бы Void1 a, т.к. это предполагает маппинг в пустое множество, что будет абсурдом.
При этом, я всё ещё думаю, что data Void1 a будет являться функтором, поскольку множества значений у типов Void1 a и Void1 b оба являются пустыми множествами (минус bottom, конечно же).
Исправление hateyoufeel, :
Что скажешь?
Я посидел сейчас (хе-хе-хе), подумал и решил, что ты прав, но моя логика иная получилась. data Void1 a не является монадой, поскольку не является моноидом – нет такой функции, которая для любого значения a делала бы Void1 a, т.к. это предполагает маппинг в пустое множество, что будет абсурдом.
При этом, я всё ещё думаю, что data Void1 a будет являться функтором, поскольку множества значений у типов Void1 a и Void1 b оба являются пустыми множествами (минус bottom, конечно же).
Исправление hateyoufeel, :
Что скажешь?
Я посидел сейчас (хе-хе-хе), подумал и решил, что ты прав, но моя логика иная получилась. data Void1 a не является монадой, поскольку не является моноидом – нет такой функции, которая для любого значения a делала бы Void1 a, т.к. это предполагает маппинг в пустое множество, что будет абсурдом.
При этом, я всё ещё думаю, что data Void1 a будет являться функтором, поскольку Void1 a и Void1 b оба являются пустыми множествами (минус bottom, конечно же).
Исходная версия hateyoufeel, :
Что скажешь?
Я посидел сейчас (хе-хе-хе), подумал и решил, что ты прав, но моя логика иная получилась. data Void1 a не является монадой, поскольку не является моноидом – нет такой функции, которая для любого значения a делала бы Void1 a, т.к. это предполагает маппинг в пустое множество, что будет абсурдом.
При этом, я всё ещё думаю, что data Void1 a будет являться функтором.