-
Notifications
You must be signed in to change notification settings - Fork 66
tangent_type(primal_type) #634
Copy link
Copy link
Open
Labels
Structural TangentRelated to the `Tangent` type for structured (composite) valuesRelated to the `Tangent` type for structured (composite) valuesbreakinga breaking changea breaking changespeculativefairly out there ideas for consideration in longer termfairly out there ideas for consideration in longer term
Milestone
Description
Metadata
Metadata
Assignees
Labels
Structural TangentRelated to the `Tangent` type for structured (composite) valuesRelated to the `Tangent` type for structured (composite) valuesbreakinga breaking changea breaking changespeculativefairly out there ideas for consideration in longer termfairly out there ideas for consideration in longer term
Type
Fields
Give feedbackNo fields configured for issues without a type.
Our life would be easier if we had a single canonical tangent type for any given primal type.
Wouldn't need to worry about having both natural and structural tangents needing to be supported.
Could require that a mapping (possibly via
convert) from various forms to the single specified type was given.Potentially this could be done in a nonbreaking way if it was required to use it, just preferred