Có thể phân biệt được, có thể khác biệt được

public protocol Differentiable

Một kiểu biểu diễn về mặt toán học một đa tạp khả vi có các không gian tiếp tuyến là hữu hạn chiều.

• Tiếp tuyếnVector
  Một loại đại diện cho đạo hàm của một giá trị khả vi.

  Về mặt toán học, điều này tương đương với bó tiếp tuyến của đa tạp khả vi được biểu thị bằng loại khả vi.

  Tuyên ngôn

  associatedtype TangentVector: Differentiable & AdditiveArithmetic
    where TangentVector.TangentVector == TangentVector

• di chuyển (theo :)
  self di chuyển theo hướng đã cho. Trong hình học Riemannian, điều này tương đương với bản đồ hàm mũ, bản đồ này self di chuyển trên bề mặt trắc địa dọc theo vectơ tiếp tuyến đã cho.

  Tuyên ngôn

  mutating mutating func move(along direction: TangentVector)

• zeroTangentVectorInitializer
  Một bao đóng tạo ra một vectơ tiếp tuyến bằng 0, thu thập thông tin cần thiết tối thiểu từ self .

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

  Trong một số trường hợp, vectơ tiếp tuyến bằng 0 của self bằng TangentVector.zero . Trong các trường hợp khác, vectơ tiếp tuyến bằng 0 phụ thuộc vào thông tin trong self , chẳng hạn như hình dạng của kiểu mảng n chiều. Đối với lập trình vi phân, sẽ hiệu quả hơn về mặt bộ nhớ khi xác định thuộc tính zeroTangentVectorInitializer tùy chỉnh trả về một bao đóng nắm bắt và chỉ sử dụng thông tin cần thiết để tạo vectơ tiếp tuyến bằng 0. 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) }
      }
  }
  

  Tuyên ngôn

  var zeroTangentVectorInitializer: () -> TangentVector { get }

• zeroTangentVector Phương pháp mở rộng
  Một vectơ tiếp tuyến được khởi tạo bằng zeroTangentVectorInitializer . move(along: zeroTangentVector) không nên sửa đổi self .

  Tuyên ngôn

  var zeroTangentVector: TangentVector { get }

• withRecomputationInPullbacks(_:) Phương pháp mở rộng
  Tuyên ngôn

  @differentiable(wrt: self)
  func withRecomputationInPullbacks<Result : Differentiable>(
    _ body: @escaping @differentiable (Self) -> Result
  ) -> Result

• withDerivative(_:) Phương pháp mở rộng
  Áp dụng bao đóng đã cho cho đạo hàm của self .

  Trả về self giống như một hàm nhận dạng. Khi giá trị trả về được sử dụng trong ngữ cảnh mà nó được phân biệt theo, hãy áp dụng bao đóng đã cho cho đạo hàm của giá trị trả về.

  Tuyên ngôn

  @differentiable(wrt: self)
  func withDerivative(_ body: @escaping (inout TangentVector) -> Void) -> Self

• được sắp xếp theo thứ tự(thông qua:_:) Phương pháp mở rộng
  Trả về kết quả được tính toán bằng cách áp dụng một chuỗi các lớp cho đầu ra của lớp trước đó, ngoại trừ đầu vào của lớp đầu tiên là self .

  Tuyên ngôn

  @differentiable
  public func sequenced<L1: Layer, L2: Layer>(through l1: L1, _ l2: L2) -> L2.Output
  where L1.Input == Self, L1.Output == L2.Input

  Thông số

  l1	Lớp đầu tiên.
  l2	Lớp thứ hai.

  Giá trị trả về

  Đầu ra của lớp cuối cùng sau khi áp dụng tuần tự.

• theo trình tự(thông qua:_:_:) Phương pháp mở rộng
  Trả về kết quả được tính toán bằng cách áp dụng một chuỗi các lớp cho đầu ra của lớp trước đó, ngoại trừ đầu vào của lớp đầu tiên là self .

  Tuyên ngôn

  @differentiable
  public func sequenced<L1: Layer, L2: Layer, L3: Layer>(through l1: L1, _ l2: L2, _ l3: L3)
    -> L3.Output
  where L1.Input == Self, L1.Output == L2.Input, L2.Output == L3.Input

  Thông số

  l1	Lớp đầu tiên.
  l2	Lớp thứ hai.
  l3	Lớp thứ ba.

  Giá trị trả về

  Đầu ra của lớp cuối cùng sau khi áp dụng tuần tự.

• theo trình tự(thông qua:_:_:_:) Phương pháp mở rộng
  Trả về kết quả được tính toán bằng cách áp dụng một chuỗi các lớp cho đầu ra của lớp trước đó, ngoại trừ đầu vào của lớp đầu tiên là self .

  Tuyên ngôn

  @differentiable
  public func sequenced<L1: Layer, L2: Layer, L3: Layer, L4: Layer>(
    through l1: L1, _ l2: L2, _ l3: L3, _ l4: L4
  ) -> L4.Output
  where
    L1.Input == Self, L1.Output == L2.Input, L2.Output == L3.Input,
    L3.Output == L4.Input

  Thông số

  l1	Lớp đầu tiên.
  l2	Lớp thứ hai.
  l3	Lớp thứ ba.
  l4	Lớp thứ tư.

  Giá trị trả về

  Đầu ra của lớp cuối cùng sau khi áp dụng tuần tự.

• theo trình tự(thông qua:_:_:_:_:) Phương pháp mở rộng
  Trả về kết quả được tính toán bằng cách áp dụng một chuỗi các lớp cho đầu ra của lớp trước đó, ngoại trừ đầu vào của lớp đầu tiên là self .

  Tuyên ngôn

  @differentiable
  public func sequenced<L1: Layer, L2: Layer, L3: Layer, L4: Layer, L5: Layer>(
    through l1: L1, _ l2: L2, _ l3: L3, _ l4: L4, _ l5: L5
  ) -> L5.Output
  where
    L1.Input == Self, L1.Output == L2.Input, L2.Output == L3.Input, L3.Output == L4.Input,
    L4.Output == L5.Input

  Thông số

  l1	Lớp đầu tiên.
  l2	Lớp thứ hai.
  l3	Lớp thứ ba.
  l4	Lớp thứ ba.
  l5	Lớp thứ năm.

  Giá trị trả về

  Đầu ra của lớp cuối cùng sau khi áp dụng tuần tự.

• theo trình tự(thông qua:_:_:_:_:_:) Phương pháp mở rộng
  Trả về kết quả được tính toán bằng cách áp dụng một chuỗi các lớp cho đầu ra của lớp trước đó, ngoại trừ đầu vào của lớp đầu tiên là self .

  Tuyên ngôn

  @differentiable
  public func sequenced<L1: Layer, L2: Layer, L3: Layer, L4: Layer, L5: Layer, L6: Layer>(
    through l1: L1, _ l2: L2, _ l3: L3, _ l4: L4, _ l5: L5, _ l6: L6
  ) -> L6.Output
  where
    L1.Input == Self, L1.Output == L2.Input, L2.Output == L3.Input, L3.Output == L4.Input,
    L4.Output == L5.Input, L5.Output == L6.Input

  Thông số

  l1	Lớp đầu tiên.
  l2	Lớp thứ hai.
  l3	Lớp thứ ba.
  l4	Lớp thứ ba.
  l5	Lớp thứ năm.
  l6	Lớp thứ sáu.

  Giá trị trả về

  Đầu ra của lớp cuối cùng sau khi áp dụng tuần tự.