История изменений

Но вот возвращаясь к предмету спора. Ты монаду описал с помощью этого населённого боттома. А в теоркате боттом не населён и монаду описать так не получится.

Да, мы отдалились.

Что скажешь?

Я посидел сейчас (хе-хе-хе), подумал и решил, что ты прав, но моя логика чуток иная получилась. data Void1 a не является монадой, поскольку не является моноидом – нет такой функции, которая для любого значения a делала бы Void1 a, т.к. это предполагает маппинг в пустое множество, что будет абсурдом.

При этом, я всё ещё думаю, что data Void1 a будет являться функтором, поскольку множества значений у типов Void1 a и Void1 b оба являются пустыми множествами (минус bottom, конечно же).

Но вот возвращаясь к предмету спора. Ты монаду описал с помощью этого населённого боттома. А в теоркате боттом не населён и монаду описать так не получится.

Да, мы отдалились.

Что скажешь?

Я посидел сейчас (хе-хе-хе), подумал и решил, что ты прав, но моя логика иная получилась. data Void1 a не является монадой, поскольку не является моноидом – нет такой функции, которая для любого значения a делала бы Void1 a, т.к. это предполагает маппинг в пустое множество, что будет абсурдом.

При этом, я всё ещё думаю, что data Void1 a будет являться функтором, поскольку множества значений у типов Void1 a и Void1 b оба являются пустыми множествами (минус bottom, конечно же).

Что скажешь?

Я посидел сейчас (хе-хе-хе), подумал и решил, что ты прав, но моя логика иная получилась. data Void1 a не является монадой, поскольку не является моноидом – нет такой функции, которая для любого значения a делала бы Void1 a, т.к. это предполагает маппинг в пустое множество, что будет абсурдом.

При этом, я всё ещё думаю, что data Void1 a будет являться функтором, поскольку множества значений у типов Void1 a и Void1 b оба являются пустыми множествами (минус bottom, конечно же).

Что скажешь?

Я посидел сейчас (хе-хе-хе), подумал и решил, что ты прав, но моя логика иная получилась. data Void1 a не является монадой, поскольку не является моноидом – нет такой функции, которая для любого значения a делала бы Void1 a, т.к. это предполагает маппинг в пустое множество, что будет абсурдом.

При этом, я всё ещё думаю, что data Void1 a будет являться функтором, поскольку Void1 a и Void1 b оба являются пустыми множествами (минус bottom, конечно же).

Что скажешь?

Я посидел сейчас (хе-хе-хе), подумал и решил, что ты прав, но моя логика иная получилась. data Void1 a не является монадой, поскольку не является моноидом – нет такой функции, которая для любого значения a делала бы Void1 a, т.к. это предполагает маппинг в пустое множество, что будет абсурдом.

При этом, я всё ещё думаю, что data Void1 a будет являться функтором.