Телеграмм чат группы haskell

Denis Gabidullin

@cblp_su @kana_sama
А вы какой конкретно код проверяли? И как?
Странно, что у вас получились разные результаты)

код из вопроса в ghci с помощью Debug.Trace

17:45пожаловаться #1

Yan Shkurinskiy

тут кстати без оптимизаций кмк возможна ситуация что два раза будет

да, я как раз это и утверждаю

17:46пожаловаться #2

Jerzy Syrowiecki

да, я как раз это и утверждаю

я просто в голове прокрутил что будут оптимизации)

17:46пожаловаться #3

Yan Shkurinskiy

оно же в один кейс выйдет?

один кейс, но с двумя аппликациями f a

17:46пожаловаться #4

на оптимизации надейся, но сам не плошай

17:47пожаловаться #5

Jerzy Syrowiecki

один кейс, но с двумя аппликациями f a

кмк тут вопрос в том, будет ли это выносится в топлевел

17:47пожаловаться #6

на CSE лучше не рассчитывать

17:48пожаловаться #7

проверил еще вот такой код, и он тоже вызывает только один раз

17:48пожаловаться #8

17:48пожаловаться #9

17:48пожаловаться #10

могу предположить что @cblp_su проверял в репле

17:48пожаловаться #11

если вынесится (не вынесится кмк только при -O0) - то должно один раз посчитаться

17:48пожаловаться #12

там оптимизации не применяются

17:48пожаловаться #13

кана

могу предположить что @cblp_su проверял в репле

он так и сказал

17:48пожаловаться #14

а может не вынестить потому что есть e аргумент

17:49пожаловаться #15

кана

могу предположить что @cblp_su проверял в репле

да, ghci + trace для проверки количества вызовов

17:49пожаловаться #16

Yan Shkurinskiy

а может не вынестить потому что есть e аргумент

теоретиески если бы запись была с последним e, и если бы записали в теле только f и a - то могло бы вызываться один раз и без оптимизаций

17:50пожаловаться #17

я такие фокусы видел с фибоначчи

17:50пожаловаться #18

кана

там оптимизации не применяются

собственно вот, в репле h (Just 1) вызовет f два раза, а если сбилдить (там по дефолту -O1) то будет один раз

17:51пожаловаться #19

а можно эксперимент? (пока сам не могу повторить)

fallRight :: a -> (a -> Maybe b) -> e -> Either e b

fallRight a f
  | Nothing <- fa = Left
  | Just b  <- fa = const(Right b)
  where fa = f a

(вроде не бред написал)

Попробовать такое без оптимизаций