Différenciable

Un type représentant les dérivées d'une valeur différentiable.

Mathématiquement, cela équivaut au fibré tangent de la variété différentiable représenté par le type différentiable.

self déplace dans la direction donnée. En géométrie riemannienne, cela équivaut à une carte exponentielle, qui self déplace sur la surface géodésique le long du vecteur tangent donné.

Une fermeture qui produit un vecteur tangent nul, capturant le minimum d'informations nécessaires de self .

move(along: zeroTangentVectorInitializer()) ne devrait pas se modifier self .

Dans certains cas, le vecteur tangent zéro de self est égal à TangentVector.zero . Dans d'autres cas, le vecteur tangent zéro dépend des informations contenues dans self , telles que la forme d'un type de tableau à n dimensions. Pour la programmation différenciable, il est plus efficace en termes de mémoire de définir une propriété personnalisée zeroTangentVectorInitializer qui renvoie une fermeture qui capture et utilise uniquement les informations nécessaires pour créer un vecteur tangent nul. Par exemple:

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) }
    }
}

Un vecteur tangent initialisé à l'aide zeroTangentVectorInitializer . move(along: zeroTangentVector) ne doit pas se modifier self .

Applique la fermeture donnée à la dérivée de self .

Renvoie self comme une fonction d'identité. Lorsque la valeur de retour est utilisée dans un contexte où elle est différenciée par rapport à, applique la fermeture donnée à la dérivée de la valeur de retour.

Renvoie la sortie calculée en appliquant une séquence de calques à la sortie du calque précédent, sauf que l'entrée du premier calque est self .

Renvoie la sortie calculée en appliquant une séquence de calques à la sortie du calque précédent, sauf que l'entrée du premier calque est self .

Renvoie la sortie calculée en appliquant une séquence de calques à la sortie du calque précédent, sauf que l'entrée du premier calque est self .

Renvoie la sortie calculée en appliquant une séquence de calques à la sortie du calque précédent, sauf que l'entrée du premier calque est self .

Renvoie la sortie calculée en appliquant une séquence de calques à la sortie du calque précédent, sauf que l'entrée du premier calque est self .