-
Notifications
You must be signed in to change notification settings - Fork 1.5k
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
Name enhancement erasion_op
=> absorbing_op
#7211
Labels
S-needs-discussion
Status: Needs further discussion before merging or work can be started
Comments
giraffate
added
the
S-needs-discussion
Status: Needs further discussion before merging or work can be started
label
May 13, 2021
@giraffate any disagreement? How much harm does renaming a lint? |
No, I just wanted some more opinions about this. |
#2845 suggest merging those and some more lints to |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
There is the
identity_op
lint that fires on operations as1*x
The name
identity
correspond to the accepted term, see Wikipedia/identity element.There is the
erasing_op
lint that fires on operations as0*x
But the term
erasing
is vague, e.g.: could it mean type erasure??There is a precise word for that too:
0
is anabsorbing element
: see Wikipedia/absorbing elementThe text was updated successfully, but these errors were encountered: