~/talk

Finally Solving the Expression Problem

Talkat dotSwift 2018 · on Monday, 2018-01-29· [swift]

Claim: Swift final tagless protocols (static methods returning Self) legitimately solve the expression problem. Shows a concrete DSL for view hierarchies, generic builder functions, and concrete interpreters that render to UIKit, render to HTML and render to PDF. Demonstrates adding new view kinds by inheriting protocols, explains the compiler-enforced safety, and sketches other domains (diagrams, effects, arithmetic). Implementation details, code patterns, and working examples are present so it’s useful if wanting an actionable solution.

AI-written summary · about

  1. 0:00Start
  2. 5:36Add a New View Type
  3. 5:57The Expression Problem
  4. 10:07Build a Hierarchy
  5. 13:51Diagrams
  6. 14:05Layering of Shapes
  7. 14:26Side Effects
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.