Skip to content

SideEffectFree and lambdas (documentation review) - #8109

Closed
smillst wants to merge 7 commits into
typetools:masterfrom
smillst:siddeffectfree-spec
Closed

smillst wants to merge 7 commits into
typetools:masterfrom
smillst:siddeffectfree-spec

Conversation

@smillst

@smillst smillst commented Sep 8, 2026

Copy link
Copy Markdown
Member

This is the specification I intend to implement. I want to get your approval before finishing up the code. (I'll merge these changes in another branch with the actual code changes.)

smillst and others added 3 commits September 8, 2026 08:38
Bring the Purity Checker chapter in line with the @SideEffectFree javadoc:
creating a lambda or a local/anonymous class is not a side effect, a
lambda's body is checked against the functional method's annotations, and
@SideEffectFree on a method with a functional-interface parameter is also a
requirement on that method's callers.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01XCfsNnTrse2emqZorUyFej
@smillst smillst changed the title SideEffectFree and lambdas SideEffectFree and lambdas (documentation review) Sep 8, 2026

@mernst mernst left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please review my changes, in addition to the comments in this pull request. Thanks.

Comment thread docs/manual/purity-checker.tex Outdated
Comment thread docs/manual/purity-checker.tex Outdated
Comment thread docs/manual/purity-checker.tex Outdated
@mernst mernst assigned smillst and unassigned mernst Sep 10, 2026
@smillst smillst assigned mernst and unassigned smillst Sep 14, 2026
@mernst mernst assigned smillst and unassigned mernst Sep 15, 2026

@mernst mernst left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks good. Thanks!

@smillst smillst closed this Sep 16, 2026
@smillst
smillst deleted the siddeffectfree-spec branch September 16, 2026 16:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants