Equivalence Matching

Equivalence matching is matching two values, which may be bound to variables, to see if they are equivalent.

How it works

Equality is a relationship between two quantities or, more generally two mathematical expressions, asserting that the quantities have the same value, or that the expressions represent the same mathematical object.

Programming languages can have multiple senses of equality that may include, but are not limited to:

• Identity: The objects are identical; often indicated by having values indicating the same logical address.
• Equality: The values of the expessions and properties are equivalent when evaluated; they do not need to have the same logical address.

References

1. Equality (mathematics). (2023, May 31). In Wikipedia. Link]
2. Types of Equality. (2007, March 2). In WikiWikiWeb. Link