Có thể phân biệt

Một loại đại diện cho các dẫn xuất của một giá trị có thể phân biệt được.

Về mặt toán học, điều này tương đương với gói tiếp tuyến của đa tạp có thể phân biệt được biểu diễn bằng loại có thể phân biệt.

Di chuyển self theo hướng nhất định. Trong hình học Riemann, điều này tương đương với bản đồ mũ, trong đó di chuyển self trên bề mặt đo đạc dọc theo vector tiếp xúc nhất định.

Một đóng cửa sản xuất một vector không tiếp xúc, nắm bắt thông tin cần thiết tối thiểu từ self .

move(along: zeroTangentVectorInitializer()) không nên thay đổi self .

Trong một số trường hợp, các vector zero tang của self bằng TangentVector.zero . Trong trường hợp khác, vector không tiếp xúc phụ thuộc vào thông tin trong self , chẳng hạn như hình dạng cho một loại mảng n chiều. Đối với lập trình vi, nó là nhiều bộ nhớ hiệu quả để xác định một tùy chỉnh zeroTangentVectorInitializer tài sản mà trả về một kết thúc mà chụp và sử dụng chỉ thông tin cần thiết để tạo ra một vector không tiếp xúc. Ví dụ:

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

Một vector tiếp tuyến khởi tạo sử dụng zeroTangentVectorInitializer . move(along: zeroTangentVector) không nên thay đổi self .

Áp dụng việc đóng cửa trao cho đạo hàm của self .

Returns self như một chức năng nhận dạng. Khi giá trị trả về được sử dụng trong ngữ cảnh mà nó được phân biệt đối với, hãy áp dụng cách đóng đã cho cho phái sinh của giá trị trả về.

Lợi nhuận đầu ra tính bằng cách áp dụng một chuỗi các lớp để sản xuất các lớp trước, ngoại trừ việc đầu vào lớp đầu tiên là self .

Lợi nhuận đầu ra tính bằng cách áp dụng một chuỗi các lớp để sản xuất các lớp trước, ngoại trừ việc đầu vào lớp đầu tiên là self .

Lợi nhuận đầu ra tính bằng cách áp dụng một chuỗi các lớp để sản xuất các lớp trước, ngoại trừ việc đầu vào lớp đầu tiên là self .

Lợi nhuận đầu ra tính bằng cách áp dụng một chuỗi các lớp để sản xuất các lớp trước, ngoại trừ việc đầu vào lớp đầu tiên là self .

Lợi nhuận đầu ra tính bằng cách áp dụng một chuỗi các lớp để sản xuất các lớp trước, ngoại trừ việc đầu vào lớp đầu tiên là self .