Skip to content

Remove Table Expr b constraint from materialize#334

Merged
shane-circuithub merged 1 commit intomasterfrom
no-rebind-materialize
Jul 30, 2024
Merged

Remove Table Expr b constraint from materialize#334
shane-circuithub merged 1 commit intomasterfrom
no-rebind-materialize

Conversation

@shane-circuithub
Copy link
Copy Markdown
Contributor

Not only is this not necessary, it can actually act as a barrier to optimisation. The reason I added it was because it seemed like a cheap way to stop someone writing query' <- materialize query id — if you return the materialized query from materialized, it won't work. Really we would need some sort of runST type trick here to do this properly, but that would be too invasive a change.

Not only is this not necessary, it can actually act as a barrier to optimisation. The reason I added it was because it seemed like a cheap way to stop someone writing `query' <- materialize query id` — if you return the materialized query from `materialized`, it won't work. Really we would need some sort of `runST` type trick here to do this properly, but that would be too invasive a change.
@shane-circuithub shane-circuithub marked this pull request as ready for review July 30, 2024 17:00
@shane-circuithub shane-circuithub enabled auto-merge (squash) July 30, 2024 17:00
@shane-circuithub shane-circuithub merged commit e214b75 into master Jul 30, 2024
@shane-circuithub shane-circuithub deleted the no-rebind-materialize branch July 30, 2024 17:08
@ocharles
Copy link
Copy Markdown
Contributor

Did you consider keeping the constraint but just removing the rebind? Does that solve the perf hit?

abigailalice pushed a commit to abigailalice/rel8 that referenced this pull request Aug 3, 2024
Not only is this not necessary, it can actually act as a barrier to optimisation. The reason I added it was because it seemed like a cheap way to stop someone writing `query' <- materialize query id` — if you return the materialized query from `materialized`, it won't work. Really we would need some sort of `runST` type trick here to do this properly, but that would be too invasive a change.
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