Должен ли связать результат с Монадой?

Ниже приведен пример из Haskell tutorial Должен ли связать результат с Монадой?

instance Monad Maybe where 
    return x = Just x 
    Nothing >>= f = Nothing 
    Just x >>= f = f x 
    fail _ = Nothing

Однако, я смущен Just x... линии. Должен ли результат не быть монадой? Я бы ожидал, что линия будет

Just x >>= f = Just (f x)

источник

2017-02-10 cammil

Подсказка: какой тип 'f'? – duplode

Чтобы добавить подсказку @ duplode, если '>> =' были реализованы так, как вы предлагаете, это ничем не отличается от 'flip fmap'. На самом деле это * точно * разница в мощности между '>> =' и 'fmap'. –

Другими словами: 'f' уже позаботится об этом - он создает значение типа' Maybe b', то есть 'Just (y :: b)' или 'Nothing'. Если это не так, код не будет проверяться typecheck. –

Да! Вы правы в том, что результат был монадой, но помните тип оператора >>=: m a -> (a -> m b) -> m b. Затем мы предполагаем, что f имеет тип a -> m b, поэтому применение f к x возвращает монаду в результате.

источник

2017-02-10 23:25:30 Hackerman

Добро пожаловать в StackOverflow! – Alec

Должен ли связать результат с Монадой?

ответ

Смежные вопросы