Разница между конструктором типа и функцией возврата монады (в Haskell)

Question

Я пытаюсь найти монады в Haskell, но пока не зашел слишком далеко.

Я нашел https://en.wikibooks.org/wiki/Haskell/Understanding_monads#cite_note-1 и несколько других руководств/объяснений, но ни один из них не объясняет разницу между конструктором типа и функцией возврата.

Как я понял конструктор типа

• строит монаду от заданного значения базового типа данных. Так что это обычный конструктор, как в Java, который строит из данного параметра новый экземпляр.
• return Функция применяет конструктор типа по заданному значению базового типа данных и возвращает построенную монаду.

Итак, в чем смысл иметь две функции, выполняющие в основном то же самое?

EDIT Так, используя пример Может быть, монада, в

• country = Just "China": (конструктор) создает монаду для значения «Китай».
• return "China": возвращает монаду, соответствующую стоимости Китая, поэтому в основном это монада, содержащая значение "China".

Вообще говоря, я понимаю монаду как контейнер ценностей. Одно использование монад - объединение простых/существующих вычислений в более сложные вычисления.

Answer 1

Конструкторы типов - это функции уровня, возвращающие тип. Maybe - это конструктор типа, который принимает параметр одного типа и возвращает тип, например. Maybe String, Maybe Int и т. Д.

Конструкторы данных используются для создания значений определенного типа. Для некоторых типов Maybe a эти конструкторы Just и Nothing т.е.

data Maybe a = Just a | Nothing 

return функция создает монадическое значение от «обычного» значения, например,

return 1 :: Maybe Int 
return "s" :: [String] 

Таким образом, в определении класса Monad

class Monad m where 
    return :: a -> m a 

m является конструктором типа, например, (IO, Maybe, []), который используется для построения типов, а return - это функция, которая строит монадическое значение типа m a со значением типа a.

Для экземпляра монады Maybe, return строит значение Maybe a с точностью до i.e.

instance Monad Maybe where 
    return x = Just x 

так, если вы знаете, что вы имеете дело с Maybe это не имеет значения, которые вы используете. Однако return имеет более общий тип, поскольку его можно использовать для построения произвольного значения m a для некоторой монады m.

Answer 2

Конструктор типа создает тип из других типов. Это не функция и не имеет ничего общего со значениями.

В Haskell [] является конструктором типа. При применении к типу, например, Int, он делает другой тип [Int].

Кстати, в Java [] также является конструктором типов. Он может сделать новый тип Int[] из существующего типа Int.

Возможно, вы хотели спросить о конструкторах данных. Действительно, [] также является конструктором данных (отличным от конструктора типа, записанного []), и в определенных контекстах он эквивалентен return. Зачем нам тогда return? return работает для любой монады и может использоваться для написания общего монадического кода, который работает для любой монады. Это обобщение из [] и Just и Left и ...