Differenzierbar

Ein Typ, der die Derivate eines differenzierbaren Werts darstellt.

Mathematisch entspricht dies dem Tangentenbündel der differenzierbaren Mannigfaltigkeit, die durch den differenzierbaren Typ dargestellt wird.

Bewegt self in die vorgegebene Richtung. In der Riemannschen Geometrie entspricht dies einer Exponentialkarte, die sich auf der geodätischen Oberfläche entlang des gegebenen Tangentenvektors self bewegt.

Ein Abschluss, der einen Tangentenvektor von Null erzeugt und nur minimal notwendige Informationen von sich self erfasst.

move(along: zeroTangentVectorInitializer()) sollte self nicht ändern.

In einigen Fällen ist der Null-Tangentenvektor von self gleich TangentVector.zero . In anderen Fällen hängt der Nulltangensvektor von Informationen in sich self , wie z. B. der Form für einen n-dimensionalen Array-Typ. Für eine differenzierbare Programmierung ist es speichereffizienter, eine benutzerdefinierte Eigenschaft zeroTangentVectorInitializer zu definieren, die einen Abschluss zurückgibt, der nur die erforderlichen Informationen erfasst und zum Erstellen eines Tangentenvektors von Null verwendet. Beispielsweise:

struct Vector {
    var scalars: [Float]
    var count: Int { scalars.count }
    init(scalars: [Float]) { ... }
    init(repeating repeatedElement: Float, count: Int) { ... }
}

extension Vector: AdditiveArithmetic { ... }

extension Vector: Differentiable {
    typealias TangentVector = Vector

    @noDerivative
    var zeroTangentVectorInitializer: () -> TangentVector {
        let count = self.count
        return { TangentVector(repeating: 0, count: count) }
    }
}

Ein Tangentenvektor, der mit zeroTangentVectorInitializer initialisiert wurde. move(along: zeroTangentVector) sollte self nicht ändern.

Wendet den gegebenen Abschluss auf die Ableitung des self .

Gibt sich self wie eine Identitätsfunktion zurück. Wenn der Rückgabewert in einem Kontext verwendet wird, in dem er in Bezug auf differenziert ist, wird der angegebene Abschluss auf die Ableitung des Rückgabewerts angewendet.

Gibt die Ausgabe zurück, die durch Anwenden einer Folge von Ebenen auf die Ausgabe der vorherigen Ebene berechnet wurde, mit der Ausnahme, dass die Eingabe der ersten Ebene self .

Gibt die Ausgabe zurück, die durch Anwenden einer Folge von Ebenen auf die Ausgabe der vorherigen Ebene berechnet wurde, mit der Ausnahme, dass die Eingabe der ersten Ebene self .

Gibt die Ausgabe zurück, die durch Anwenden einer Folge von Ebenen auf die Ausgabe der vorherigen Ebene berechnet wurde, mit der Ausnahme, dass die Eingabe der ersten Ebene self .

Gibt die Ausgabe zurück, die durch Anwenden einer Folge von Ebenen auf die Ausgabe der vorherigen Ebene berechnet wurde, mit der Ausnahme, dass die Eingabe der ersten Ebene self .

Gibt die Ausgabe zurück, die durch Anwenden einer Folge von Ebenen auf die Ausgabe der vorherigen Ebene berechnet wurde, mit der Ausnahme, dass die Eingabe der ersten Ebene self .