Issues · BasisResearch/effectful · GitHub

Labels Milestones New issue

RestrictedEvalProvider.exec drops rebindings of seeded names and does not wire RestrictedPython's print protocol

#685

· datvo06 opened

on Jun 11, 2026

Consider supporting `overload` in type inference

#684

· eb8680 opened

on Jun 11, 2026

Traversal logic in `evaluate` and other core routines should be shared

#682

· eb8680 opened

on Jun 11, 2026

Consider adding generic code execution tools

#678

· eb8680 opened

on Jun 9, 2026

Type inference should support `Protocol`-based `Callable`s

#677

· eb8680 opened

on Jun 9, 2026

Supporting Refinement Type in conjunction with Effect type for stronger security emphasis

#664

· datvo06 opened

on May 25, 2026

#651 breaks operations that take `dict[str, T]`

#662

· jfeser opened

on May 13, 2026

Provide implementation of ClaimCheck in effectful

#660

· kiranandcode opened

on May 11, 2026

Provide implementation of "Generate and Organize (G&O)," methodology in effectful

#654

· kiranandcode opened

on May 2, 2026

Dataclass method operations being incorrectly freshened

#652

· jfeser opened

on Apr 27, 2026

lazy signature property doesn't work well with typing.TYPE_CHECKING

#636

· yiyunliu opened

on Apr 13, 2026

Clarify evaluation semantics of shared terms

#633

· jfeser opened

on Apr 9, 2026