Skip to content

Break Variable into (Variable, Collection)#674

Merged
frankmcsherry merged 3 commits intoTimelyDataflow:master-nextfrom
frankmcsherry:variable_collection_split
Feb 25, 2026
Merged

Break Variable into (Variable, Collection)#674
frankmcsherry merged 3 commits intoTimelyDataflow:master-nextfrom
frankmcsherry:variable_collection_split

Conversation

@frankmcsherry
Copy link
Member

An example of how we might partition Variable into the independent parts of 1. the collection to use in the recursive definition, and 2. the place to bind the recursive definition. This removes all Clone constraints other than the new_from method which needs to clone the "from" collection to subtract it in the next iteration.

@frankmcsherry
Copy link
Member Author

Looking at the code, I think we can potentially remove SemigroupVariable. Will try this next, but .. in the same way that new_from is the only place that Clone is required, I think it can be the only place that Negate is required. Let's see!

@frankmcsherry frankmcsherry force-pushed the variable_collection_split branch from fbeb34c to e21b1c3 Compare February 25, 2026 04:15
Copy link
Member

@antiguru antiguru left a comment

Choose a reason for hiding this comment

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

Looks good, I like the structure better than what we had before.

@frankmcsherry frankmcsherry merged commit 385654f into TimelyDataflow:master-next Feb 25, 2026
8 checks passed
@frankmcsherry frankmcsherry deleted the variable_collection_split branch February 25, 2026 18:16
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