Look into typing Data and SupervisedData instances
#765
Assignees
Labels
enhancement
New feature or request
Comments
db091756
added
enhancement
tc85324
added a commit
that referenced
this issue
Nov 24, 2024
Enables `Data` and `SupervisedData` instances to be given a type hint that indicates the type and size of their respective `Data.data` attributes. For example: `x: Int[Data, "n d"] = ...`, indicates `x` is an instance of `Data` whose `data` attribute is an integer array of shape `n d`. Refs: #765
9 tasks
tc85324
added a commit
that referenced
this issue
Nov 25, 2024
Enables `Data` and `SupervisedData` instances to be given a type hint that indicates the type and size of their respective `Data.data` attributes. For example: `x: Int[Data, "n d"] = ...`, indicates `x` is an instance of `Data` whose `data` attribute is an integer array of shape `n d`. Refs: #765
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
What's the new feature?
I think it would be very useful for developers and users to be able to type the array shapes in the
DataandSupervisedDatainstances.For example, if we want to type a function input we would do
x: Dataorx: SupervisedData. I think it would be nice to be able to type this something likex: Data[Shaped[Array, " n d"], Shaped[Array, " n"]]andx: SupervisedData[Shaped[Array, " n d"], Shaped[Array, " n p"], Shaped[Array, " n"]], or justx: Data[" n d", "n"]andx: SupervisedData[" n d", " n p", "n"].I have no idea how much work this would be!
What value does this add?
Would make it clearer what our data instances contain.
Is there an alternative you've considered?
No response
Additional context
No response
The text was updated successfully, but these errors were encountered: