This website requires JavaScript.
Explore
Help
Sign In
lix-project
/
lix
Watch
18
Star
45
Fork
You've already forked lix
24
Code
Issues
315
Code Review (Gerrit)
Projects
1
Releases
Wiki
Activity
d7d1547a41
lix
/
tests
/
functional
/
lang
/
eval-okay-foldlStrict-lazy-elements.exp
2 lines
3 B
Plaintext
Raw
Normal View
History
Unescape
Escape
primops: make nature of foldl' strictness clearer * Clarify the documentation of foldl': That the arguments are forced before application (?) of `op` is necessarily true. What is important to stress is that we force every application of `op`, even when the value turns out to be unused. * Move the example before the comment about strictness to make it less confusing: It is a general example and doesn't really showcase anything about foldl' strictness. * Add test cases which nail down aspects of foldl' strictness: * The initial accumulator value is not forced unconditionally. * Applications of op are forced. * The list elements are not forced unconditionally.
2022-10-15 23:32:55 +00:00
42
Reference in a new issue
Copy permalink