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.

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

Change naming process #71

Open
elmerbulthuis opened this issue Feb 28, 2024 · 0 comments
Open

Change naming process #71

elmerbulthuis opened this issue Feb 28, 2024 · 0 comments
Labels
enhancement New feature or request

Comments

@elmerbulthuis
Copy link
Member

in the rust and the typescript project, we should start naming the types after optimization in stead of before. This way we can name the anonymous types.

Before naming we should categorize the types in primary and secondary and also name these two categories seperate.

see #64

@elmerbulthuis elmerbulthuis moved this to Todo in Project42 Feb 28, 2024
@elmerbulthuis elmerbulthuis changed the title Change naming order Change naming process Feb 28, 2024
@elmerbulthuis elmerbulthuis moved this from Todo to Done in Project42 Mar 1, 2024
@elmerbulthuis elmerbulthuis moved this from Done to In Progress in Project42 Mar 1, 2024
elmerbulthuis pushed a commit that referenced this issue Mar 1, 2024
We split the names in primary and secondary names. And then run then
naming process separate for each. So we will have better primary names.
The secondary names will probably never be used.

see #64, #71 

- [x] split names in primary and secondary
- [x] run naming process for primary and secondary
- [x] use the primary and secondary names everywhere
- [x] fix urls again
elmerbulthuis pushed a commit that referenced this issue Mar 4, 2024
create names for anonymous types based on their context

see #64
see #71
@elmerbulthuis elmerbulthuis added the enhancement New feature or request label Mar 11, 2024
@elmerbulthuis elmerbulthuis moved this from In Progress to Todo in Project42 May 4, 2024
@elmerbulthuis elmerbulthuis moved this from Todo to In Progress in Project42 Jun 25, 2024
@elmerbulthuis elmerbulthuis moved this from In Progress to Done in Project42 Jun 27, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
Status: Done
Development

No branches or pull requests

1 participant