anomalyco / anomalyco/opencode

TypeScript repeatedly derives Effect Drizzle variance

Open
#40,890 1 comment 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Dominant language
TypeScript
Stars
209k
Forks
27.5k
PR merge metrics
PR metrics pending

Description

The core typecheck spends substantial work deriving variance through the vendored Effect Drizzle query-builder graph.

A compiler trace attributes about 431ms to SQLiteEffectSession variance and 253ms to SQLiteEffectSelectBuilder. Explicit variance declarations should preserve the inferred relationships while avoiding those recursive scans.

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start with the compiler trace and locate the definitions of SQLiteEffectSession and SQLiteEffectSelectBuilder in the vendored Effect Drizzle query-builder graph. Read how their variance is currently inferred, then run the core typecheck before and after the change. Done means explicit variance declarations preserve the existing relationships and reduce the reported recursive work.

Written by the indexing model from the issue text.

Assessment

Tech stack
typescript
Domain
devtools, performance
Issue type
Refactor
Difficulty
3/5
Estimated time
1-2 days
Activity status
Quiet
Clarity
Mostly clear
Newbie friendliness
52/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.