Differenziabile

Un tipo che rappresenta le derivate di un valore differenziabile.

Matematicamente, questo è equivalente al fibrato tangente della varietà differenziabile rappresentata dal tipo differenziabile.

self muove lungo la direzione data. Nella geometria riemanniana ciò equivale alla mappa esponenziale, che self muove sulla superficie geodetica lungo il vettore tangente dato.

Una chiusura che produce un vettore tangente zero, catturando da self le informazioni minime necessarie.

move(along: zeroTangentVectorInitializer()) non dovrebbe modificare self .

In alcuni casi, il vettore tangente zero di self è uguale a TangentVector.zero . In altri casi, il vettore tangente zero dipende dalle informazioni in self , come la forma per un tipo di array n-dimensionale. Per la programmazione differenziabile, è più efficiente in termini di memoria definire una proprietà personalizzata zeroTangentVectorInitializer che restituisce una chiusura che acquisisce e utilizza solo le informazioni necessarie per creare un vettore tangente zero. Per esempio:

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 vettore tangente inizializzato utilizzando zeroTangentVectorInitializer . move(along: zeroTangentVector) non dovrebbe modificare self .

Applica la chiusura data alla derivata di self .

Restituisce self come una funzione di identità. Quando il valore restituito viene utilizzato in un contesto in cui è differenziato rispetto a, applica la chiusura data alla derivata del valore restituito.

Restituisce l'output calcolato applicando una sequenza di livelli all'output del livello precedente, tranne per il fatto che l'input del primo livello è self .

Restituisce l'output calcolato applicando una sequenza di livelli all'output del livello precedente, tranne per il fatto che l'input del primo livello è self .

Restituisce l'output calcolato applicando una sequenza di livelli all'output del livello precedente, tranne per il fatto che l'input del primo livello è self .

Restituisce l'output calcolato applicando una sequenza di livelli all'output del livello precedente, tranne per il fatto che l'input del primo livello è self .

Restituisce l'output calcolato applicando una sequenza di livelli all'output del livello precedente, tranne per il fatto che l'input del primo livello è self .