maybe

6зной

3ответ

В Haskell есть абстракция для <?> -оператора?

Я только что сам пишу этот код: import Control.Applicative ((<|>)) x = mA <|> mB <?> c (<?>) :: Maybe a -> a -> a Just x <?> _ = x Nothing <?> y = y Где mA :: Maybe a, mB :: Maybe a, c :: a и

1зной

1ответ

Проверка Может быть, значения

Я просто новичок в Haskell, и я стараюсь делать cryptopals криптографических задач в Haskell. Я написал следующий код: import Data.Char nibbleToInt :: Char -> Int nibbleToInt c | ('0' <= c &&

5зной

3ответ

Есть ли предопределенный способ пропустить вычисления, которые приводят к Nothing?

У меня есть эти три функции a :: Int -> Maybe Int a i = if i < 100 then Just i else Nothing b :: Int -> Maybe Int b i = if i < 50 then Just i else Nothing c :: Int -> Maybe Int c i = if i > 0 t

9зной

6ответ

Почему Maybe/Optional типы используют тип Just/Some вместо фактического типа?

В Идриса Maybe тип определяется как следует: data Maybe a = Just a | Nothing Это так же определено в Haskell: data Maybe a = Just a | Nothing deriving (Eq, Ord) Вот версия ML: datatype 'a opt

2зной

1ответ

Различные типы Maybe при проверке в GHCI

Я новичок в Haskell и стараюсь научить себя веревкам, так что простите меня, если это основной вопрос. Если я открываю интерпретатор (GHCI), почему я получаю различные типы, как показано ниже: Just 54