Dear Community,

Apologies if I'm missing context.

Does Haskell 2020 specify evaluation order control by `pseq`?

We use `pseq` to guarantee the evaluation order between two expressions.
But Haskell 2010 did not specify how to control the evaluation order
between two expressions.
(only specified `seq` in Haskell 2010 section 6.2 [1]. but `seq` don't
guarantee the order. [2])

I think it's better to explicitly specify `pseq` as standard way.

Already discussed? or out of scope?

[1]:
https://www.haskell.org/onlinereport/haskell2010/haskellch6.html#x13-1260006.2
[2]:
https://www.schoolofhaskell.com/user/snoyberg/general-haskell/advanced/evaluation-order-and-state-tokens

Regards,
Takenobu
_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime

Reply via email to