JS
Оно будет вычислено один раз в обоих случаях
почему? я не уверен
Size: a a a
2021 February 18
YS
почему? я не уверен
оно же в один кейс выйдет?
YS
в коре
АК
case Nothing of { Nothing -> 0; _ }
должен будет схлопнуться оптимизаций до
0
так что наверное по итогу будет все одинаково
должен будет схлопнуться оптимизаций до
0
так что наверное по итогу будет все одинаково
Запоминание значения в паттерне происходит всегда или это оптимизация для каких-то конкретных случаев?
Те, к примеру, если у меня будут чуть более сложные матчинги, вроде:
Nothing <- f a = do dis
Right a <- g (f a) = do dat
Blah <- someExprg (f a) (g . f $ a) = do smth
Те, к примеру, если у меня будут чуть более сложные матчинги, вроде:
Nothing <- f a = do dis
Right a <- g (f a) = do dat
Blah <- someExprg (f a) (g . f $ a) = do smth
YS
почему? я не уверен
ну то есть - будет реально что-то типа
case f a of?YS
я почему уверен что будет так, отсюда и вывод
к
я советую самому проверить
выкидывает core в
dist-newstyle/build/x86_64-osx/ghc-8.10.4/haskell-playground-0.1.0.0/x/haskell-playground-exe/build/haskell-playground-exe/haskell-playground-exe-tmp/app/Main.dump-simpl
в моем случае
cabal build --ghc-options "-ddump-simpl -ddump-to-file -dsuppress-all"выкидывает core в
dist-newstyle/build/x86_64-osx/ghc-8.10.4/haskell-playground-0.1.0.0/x/haskell-playground-exe/build/haskell-playground-exe/haskell-playground-exe-tmp/app/Main.dump-simpl
в моем случае
АК
я советую самому проверить
выкидывает core в
dist-newstyle/build/x86_64-osx/ghc-8.10.4/haskell-playground-0.1.0.0/x/haskell-playground-exe/build/haskell-playground-exe/haskell-playground-exe-tmp/app/Main.dump-simpl
в моем случае
cabal build --ghc-options "-ddump-simpl -ddump-to-file -dsuppress-all"выкидывает core в
dist-newstyle/build/x86_64-osx/ghc-8.10.4/haskell-playground-0.1.0.0/x/haskell-playground-exe/build/haskell-playground-exe/haskell-playground-exe-tmp/app/Main.dump-simpl
в моем случае
спасибо, посмотрю
к
вот какую штуку нужно запилить, веб-страничку, в которую пишешь код и сразу же видешь core с выкинутой из него мета-инфой
АК
но меня скорее интересовало если общее правило, тк если его нет, то так наверное лучше не писать
JS
Добрый день, есть ли разница между
и таким же кодом записанным через
тв будет ли
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 в первом случае вычисленно единожды или по разу на каждый кейс?проверил. в первом случае f вызывается 2 раза
YS
проверил. в первом случае f вызывается 2 раза
а какие оптимизации?
JS
а какие оптимизации?
в ghci. конечно, CSE должен спасать, но ему нельзя верить
АК
проверил. в первом случае f вызывается 2 раза
жаль, с эстетической точки зрения мне вариант без кейса больше нравился\
YS
в ghci. конечно, CSE должен спасать, но ему нельзя верить
что такое CSE?
JS
жаль, с эстетической точки зрения мне вариант без кейса больше нравился\
fallRight a e f
| Nothing <- fa = Left e
| Just b <- fa = Right b
where fa = f aJS
что такое CSE?
оптимизация common subexpression elimination, которая несколько вхождений
f a объединит (или нет)YS
fallRight a e f
| Nothing <- fa = Left e
| Just b <- fa = Right b
where fa = f aтут кстати без оптимизаций кмк возможна ситуация что два раза будет
DG
@cblp_su @kana_sama
А вы какой конкретно код проверяли? И как?
Странно, что у вас получились разные результаты)
А вы какой конкретно код проверяли? И как?
Странно, что у вас получились разные результаты)
DG
@kana_sama
Ты выше писал код, увидел. Сорян)
Ты выше писал код, увидел. Сорян)