Есть ли оператор или функция библиотеки, такие, что v ??? d вычисляет v если v отличается от None и не оценивает d или вычисляет d если v равно None. (где ??? Я обозначаю оператора, которого я ищу). О
меня попросили реализовать функцию, которая использует следующий профиль: maybe_divide :: Maybe Integer -> Maybe Integer -> Maybe Integer
и реагирует следующим образом: > maybe_divide (Just 5) (Just
Я hvae только invended следующее альтернативное определение Maybe: type Maybe' a = forall b. (b -> (a -> b) -> b)
just :: a -> Maybe' a
just a = \d f -> f a
nothing :: Maybe' a
nothing = const