Abstract Algebra Driven Design Animation in Swift as almost Semirings
summary
Claim: animations obey algebraic laws so they compose as a semiring with sequence as multiplication and parallel as addition. Implementation uses a Swift enum for runnable cancelled and trivial cases and a progress function A <- [0,1] so animations form a semiring and Swift enum runnable/canceled/trivial captures 0 and 1. Parallel combines values by averaging, durations use sum or max, and 0 annihilates sequence. A library and a timeline preview render in an iPhone simulator and mostly work with minor visualization bugs timeline preview rendered in iPhone simulator.
AI-written summary · about
chapters (20)
- 0:00Intro
- 3:14Complexity and Expressivity
- 5:38iOS
- 7:47Composable APIs
- 9:25Animations
- 10:25Time Perception
- 11:13Abstract Algebra
- 13:51Laws
- 16:00Comments
- 19:25Monroy
- 26:29Optimization
- 29:29Semirings
- 32:39Implementation
- 34:33Parallel Composition
- 37:17Animation Mapping
- 39:08Layer 3 Primitives
- 42:52Intervals
- 44:02Summary
- 45:26Live Preview
- 48:32Animation Library
related talks
16mAnimation juice in SwiftUI
29mAlgebraic Data Types in Swift
35mAnimations with SwiftUI
32mThe Art & Science of SwiftUI Animated Experiences
18mScientific Swift
57mSwift Tutorial - Exploring Swift Sequences in Depth
23mDeclarative Programming in Swift
07mExploring SwiftUI Path Animations featuring Japan Symbol Quiz