Описание тега maybe

Описание тега Вопросы с тегом
В Haskell тип Maybe инкапсулирует необязательное значение.

В Maybe type - это предопределенный стандартный тип. Отчет Haskell 2010 описывает и определяет его следующим образом:

data Maybe a = Just a | Nothing

В Maybetype инкапсулирует необязательное значение. Значение типаMaybe a либо содержит значение типа a (представлен как Just a), либо он пуст (представлен как Nothing). С помощьюMaybe - хороший способ справиться с ошибками или исключительными случаями, не прибегая к таким радикальным мерам, как ошибка.

пример

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

safeHead :: [a] -> Maybe a
safeHead [] = Nothing
safeHead xs = Just ( head xs )

Ссылки:

Связанные теги

необязательный стандарт, допускающий значение NULL ; необязательный параметр scala