Про seq

Oct. 1st, 2015 12:29 am
deniok: (typed lambda)
[personal profile] deniok
Как известно seq вычисляет свой первый аргумент до слабой заголовочной нормальной формы (WHNF). Не пользуясь GHCi, ответьте на вопрос, каково будет значение следующего выражения
Prelude> (\True y -> ()) False `seq` 5
Проверьте себя в GHCi. Какова будет полученная в первом аргументе seq WHNF?

UPD. А теперь вопрос на засыпку: каково будет значение следующего выражения
Prelude> (\True -> \y -> ()) False `seq` 5
Считаете ли вы это правильным?

Date: 2015-10-03 02:29 pm (UTC)
From: [identity profile] kurilka.livejournal.com
main :: IO ()
[GblId, Str=DmdType]
main =
  print
    @ Integer
    GHC.Show.$fShowInteger
    (case Control.Exception.Base.patError
            @ (GHC.Prim.Any -> ()) "seq.hs:1:17-33|lambda"#
     of wild_00 {
     })

ну и -O0 на результат не влияет ни в том ни в другом случае

Date: 2015-10-03 02:30 pm (UTC)
From: [identity profile] kurilka.livejournal.com
а, хотя -O0 же по дефолту, так что странно былоб иное

Profile

deniok: (Default)
deniok

February 2022

S M T W T F S
  12345
6789101112
13141516171819
20212223 242526
2728     

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 10th, 2025 11:05 am
Powered by Dreamwidth Studios