Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Ideas / To-Do #1

Open
12 of 21 tasks
rsokl opened this issue Sep 16, 2022 · 0 comments
Open
12 of 21 tasks

Ideas / To-Do #1

rsokl opened this issue Sep 16, 2022 · 0 comments

Comments

@rsokl
Copy link
Owner

rsokl commented Sep 16, 2022 •
edited
Loading

To Do:

  • Support parsing for variable-length tensors: parse(..., Tensor[*T])
  • Handle scalars (empty shapes)
  • Add support for Any dim (important! -- TypeVarTuples are currently invariant!)
  • Support arbitrary generics (in progress)
  • Only bind on NewTypes (e.g. EvenInt shouldn't bind to a specific value)
  • Run type checking on readme
  • Enable tuple and int support in parse
  • Remove explicit dependency on phantom-types (😢 ) and implement custom __isinstance__ instead
  • Support Literal[num]
  • Support int-based phantom types within shape annotations (e.g. to provide size constraints)
  • Do basic benchmarking
  • Add caching
  • Improve ergonomics with phantom_tensors.alphabet and phantom_tensors.words
  • Add CI
  • Make ParseError messages really nice
  • Upload to pypi
  • Write basic docs

Ideas:

  • Support for hypothesis
  • Think about how broadcasting might work.. special names?
  • Ship auto-phantom function
  • Enable isolated scopes for dim_binding_scope
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@rsokl