Swift Generics in Theory and Practice
1 like1,846 views
The document discusses generics in programming, emphasizing their purpose for reusability and type independence. It covers various aspects of generics including implementation in Swift 3, current limitations, and future improvements in Swift 4. Additionally, it touches on design decisions related to generics and the evolution of Swift as a language.
Swift Generics in Theory and Practice
- 1. Generics in Theory and Practice @MicheleTitolo
- 9. Generics In The Standard Library
- 10. Collections
- 13. Global Functions
- 15. Transformations
- 16. Single Type Constraint If Any
- 18. Variables That Are Classes + Protocols
- 19. Protocols With Associated Types
- 20. The stdlib Is Protocol Oriented
- 21. public init<Subject, C : Collection where C.Iterator.Element == Child, C.SubSequence : Collection, C.SubSequence.Iterator.Element == Child, C.SubSequence.Index == C.Index, C.SubSequence.Indices : Collection, C.SubSequence.Indices.Iterator.Element == C.Index, C.SubSequence.Indices.Index == C.Index, C.SubSequence.Indices.SubSequence == C.SubSequence.Indices, C.SubSequence.SubSequence == C.SubSequence, C.Indices : Collection, C.Indices.Iterator.Element == C.Index, C.Indices.Index == C.Index, C.Indices.SubSequence == C.Indices>(_ subject: Subject, children: C, displayStyle: Mirror.DisplayStyle? = default, ancestorRepresentation: Mirror.AncestorRepresentation = default)
- 22. One-Offs
- 24. Except When Working Around Language Limitations
- 25. Being Cool
- 29. Design Decision Or Last Resort
- 32. If It Matters, Probably Not Generic
- 33. Surface And Enforce Type Decisions
- 34. Using Generics Are Making Type Decisions
- 35. Generics Enforce That Choice
- 36. Any Is Poor Form
- 37. Coming Soon
- 40. Sequence
- 42. Nested Generics
- 43. Compiler Feature
- 44. Generics Can Contain Generics
- 46. Generic Types Are Enforced At Compile Time
- 47. Existential Types Are Enforced At Runtime
- 50. Only Works With Concrete Protocols In Swift 3
- 52. Goal To Be Fixed In Swift 4
- 54. Get Involved