In the field of type theory in computer science, a quotient type is a data type that respects a user-defined equality relation. A quotient type defines an equivalence relation ≡ {\displaystyle \equiv } on elements of the type — for example, we might say that two values of the type Point are equivalent if they have the same respective x- and y-coordinates; formally p1 == p2 if p1.x == p2.x && p1.y == p2.y.
In the field of type theory in computer science, a quotient type is a data type that respects a user-defined equality relation. A quotient type defines an equivalence relation ≡ {\displaystyle \equiv } on elements of the type — for example, we might say that two values of the type Point are equivalent if they have the same respective x- and y-coordinates; formally p1 == p2 if p1.x == p2.x && p1.y == p2.y.
Source: Wikipedia "Quotient type" · CC BY-SA 4.0
Share this article: X · Bluesky