с sequence уже начали

а как без аппликатива? в рабоче-крестьянском стиле, только списковыми операциями

ну в учебных целях нужно решить и так и так

concatMap (\x -> map (x:) $ myFunc ls) l

Ну это встроенная, кто знает, что у неё в кишках

Нифига тут умные обсуждения пошли

исходники открыты, кто хочет, тот знает

все знают, она не встроенная, в base-либе в инстансе Traversable []

Я совсем не специалист, но не уверен, что для [] будет определена именно sequence

Суть, естественно, ты верно написал)

ну будет просто определен traverse, и из него выводится sequence, но можно и наоборот

Но вдруг кто-то будет в инстансе искать sequence, а найдёт только traverse)

Добрый день, есть ли разница между

fallRight :: a -> e -> (a -> Maybe b) -> Either e b 
fallRight a e f | Nothing <- f a = Left e
fallRight a e f | Just b  <- f a = Right b

и таким же кодом записанным через

fallRight a e f = case f a of …

тв будет ли f a в первом случае вычисленно единожды или по разу на каждый кейс?

Оно будет вычислено один раз в обоих случаях

окей, спасибо

fallRight :: a -> e -> (a -> Maybe b) -> Either e b 
fallRight a e f | Nothing <- f a = Left e
fallRight a e f | Just b  <- f a = Right b

fallRight a e f = case f a of …

f, g, h, t :: Maybe Int -> Int
f (Just a) = a
f Nothing = 0
-- f :: Maybe Int -> Int
-- f = \x ->
--       case x of {
--         Nothing -> 0;
--         Just a -> a
--       }

g x | Just a <- x = a
g x | Nothing <- x = 0
-- g :: Maybe Int -> Int
-- g = \x ->
--       case x of {
--         Nothing ->
--           case Nothing @ Int of {
--             Nothing -> 0;
--             Just _ ->
--               Control.Exception.Base.patError
--                 @ 'LiftedRep
--                 @ Int
--                 "app/Main.hs:(4,1)-(5,22)|function g"#
--           };
--         Just a -> a
--       }

h x
 | Just a <- x = a
 | Nothing <- x = 0
-- h :: Maybe Int -> Int
-- h = \x ->
--       case x of {
--         Nothing ->
--           case (Nothing) @ Int of {
--             Nothing -> 0;
--             Just _ ->
--               Control.Exception.Base.patError
--                 @ 'LiftedRep
--                 @ Int
--                 "app/Main.hs:(6,1)-(8,20)|function h"#
--           };
--         Just a -> a
--       }

t x = case x of
 Just a -> a
 Nothing -> 0
-- t :: Maybe Int -> Int
-- t = \x ->
--       case x of {
--         Nothing -> 0;
--         Just a -> a
--       }

это core на выходе

case Nothing of { Nothing -> 0; _ }

должен будет схлопнуться оптимизаций до

0

так что наверное по итогу будет все одинаково

так и есть

я еще NOINLINE убрал, и все эти функции вообще до одной схлопнулись

при таком исходнике

f :: Maybe Int -> Int
f (Just a) = a
f Nothing = 0

g :: Maybe Int -> Int
g x | Just a <- x = a
g x | Nothing <- x = 0

h :: Maybe Int -> Int
h x
 | Just a <- x = a
 | Nothing <- x = 0

t :: Maybe Int -> Int
t x = case x of
 Just a -> a
 Nothing -> 0