אוקלידי ניתן להבדיל

public protocol EuclideanDifferentiable : Differentiable

טיפוס שניתן להבדיל במרחב האוקלידי. הטיפוס עשוי לייצג מרחב וקטור, או מורכב ממרחב וקטור ורכיב אחר שאינו ניתן להבדלה.

מבחינה מתמטית, זה מייצג סעפת מוצר המורכבת ממרחב וקטורי שניתן להבדיל ומסעפת שרירותית כלשהי, כאשר צרור המשיק של סעפת המוצר כולו שווה לרכיב המרחב הווקטורי.

הפשטה זו שימושית לייצוג מבני נתונים נפוצים הניתנים להבדלה המכילים גם מאפייני וקטור הניתנים להבדלה וגם מאפיינים מאוחסנים אחרים שאין להם נגזרת, למשל

struct Perceptron: @memberwise EuclideanDifferentiable {
    var weight: SIMD16<Float>
    var bias: Float
    @noDerivative var useBias: Bool
}