Compare

class Comparable =
    def (>) (rhs : Self) : bool
    def (<) (rhs : Self) : bool
    def (>=) (rhs : Self) : bool
    def (<=) (rhs : Self) : bool

Класс это контракт, существующий только во время компиляции. Self указывает на конкретный тип, для которого вызывается метод.

type MutList<T> where T : Comparable
    def sort = ...

Ограничение параметра T позволяет методу sort сравнивать элементы списка.

class Compare =
    def compare (other : Self) : Ordering

    def (>) (rhs : Self) =
        let result = compare rhs
        result == Ordering/Greater

    def (>=) (rhs : Self) =
        let result = compare rhs
        result <> Ordering/Less

    def (<) (rhs : Self) =
        let result = compare rhs
        result == Ordering/Less

    def (<=) (rhs : Self) =
        let result = compare rhs
        result <> Ordering/Greater

    is Comparable

Класс Compare предоставляет операторы сравнения взамен реализации единственного метода compare.

type (T1, T2) u v where T1 : Comparable
                        T2 : Comparable
    def compare (other : Self) = when
        u > other.u -> Ordering/Greater
        u < other.u -> Ordering/Less
        v > other.v -> Ordering/Greater
        v < other.v -> Ordering/Less
        else -> Ordering/Equal

    is Compare

Мы расширяем кортеж из двух элементов T1 и T2, ограниченных классом Comparable. Внутри методов элементы доступны под именами u и v. В итоге кортеж принадлежит к обоим классам — Compare и Comparable.