-
Notifications
You must be signed in to change notification settings - Fork 15
Open
Labels
enhancementNew feature or requestNew feature or request
Description
I'm writing some code that relies on storing PyObjects into the graph, and it would be helpful if I could write (e.g.) PyObject[MyClass] to specify "a PyObject which contains this specific type."
The dumbest version would type-erase and just use the annotations for human use when writing code, but of course you could also imagine lifting the types of PyObjects into facts in the graph of some sort and automatically using them for e-matching and otherwise, although that of course adds a lot more complexity.
Thanks for egglog and egglog-python, by the way -- I'm very excited about these projects and finding more places I can use them!
Metadata
Metadata
Assignees
Labels
enhancementNew feature or requestNew feature or request