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

First-class representation of Item/ItemID #15

Open
dabrahams opened this issue Dec 29, 2022 · 0 comments
Open

First-class representation of Item/ItemID #15

dabrahams opened this issue Dec 29, 2022 · 0 comments

Comments

@dabrahams
Copy link
Collaborator

First of all Chart.Item should be renamed Chart.ItemID, since multiple entries with the same ID
actually constitute an item.

Then, perhaps Entry should be renamed Cause or Causation or Derivation.

Then Item should be a first-class type wrapping a Chart.Entries.SubSequence, and having a sequence of Derivations or at least MainstemIndices.

Then there should be a first-class representation for the sequence of Items in an Earleme having a given
transition symbol.

All of this is currently ad-hoc in the type system.
dabrahams added a commit that referenced this issue Dec 30, 2022
@dabrahams
Rename Chart.Item->ItemID
6133906 
Progress on #15
dabrahams added a commit that referenced this issue Dec 30, 2022
@dabrahams
Add member forwarding from Entry to its item
842c667 
Progress on #15
dabrahams added a commit that referenced this issue Dec 30, 2022
@dabrahams
Use property forwarding from Entry to ItemID
4136fec 
Progress on #15
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
@dabrahams