Draft:Atomic subtyping: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

10 January 2025

  • curprev 03:2003:20, 10 January 2025 imported>Jlwoodwa 951 bytes +951 ←Created page with ''''Atomic subtyping''' is a restricted form of subtyping where type statements can only depend on coercions between atomic types (including type variables), rather than between arbitrary types. For example, <math>int \subseteq real</math> is an atomic coercion, and <math>(r \to s) \subseteq t</math> is a non-atomic coercion. When atomic subtyping is used, one type can be a subtype of another only if they have the same pattern of type construct...'
Retrieved from "https://en.wiki.beta.math.wmflabs.org/wiki/Draft:Atomic_subtyping"