![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
Как известно seq вычисляет свой первый аргумент до слабой заголовочной нормальной формы (WHNF). Не пользуясь GHCi, ответьте на вопрос, каково будет значение следующего выражения
Prelude> (\True y -> ()) False `seq` 5Проверьте себя в GHCi. Какова будет полученная в первом аргументе seq WHNF? UPD. А теперь вопрос на засыпку: каково будет значение следующего выражения
Prelude> (\True -> \y -> ()) False `seq` 5Считаете ли вы это правильным?
no subject
Date: 2015-10-03 02:29 pm (UTC)ну и -O0 на результат не влияет ни в том ни в другом случае
no subject
Date: 2015-10-03 02:30 pm (UTC)