One line. builtins.deepSeq x y fully evaluates x, then returns y. Embed deepSeq newState inside the key expression, and you piggyback on genericClosure's key-forcing. When genericClosure forces the key for dedup, it forces the state too. Every step. The thunk chain never forms.
Version 1.5.0 introduces the following:
。关于这个话题，PDF资料提供了深入分析
FT App on Android & iOS
Try unlimited accessOnly HK$10 for 4 weeks