~/talk

Functional Networking

Talkat dotSwift 2020 · on Monday, 2020-02-03· [swift]
slides:none on file

Argues that refactoring a network layer into pure functions makes requests composable and testable, and demonstrates concrete tools and results: use of algebraic types like Either to eliminate impossible states, a suspended-effect type IO to turn callbacks into lazy values, an environment-based configuration so dependencies are injected, and a generator called both-openapi that creates a Swift package (installable via brew) which keeps client code in sync and supports retry policies including a maximum of ten retrials.

AI-written summary · about

  1. 0:00Introduction
  2. 0:58Backend Services
  3. 1:40Data Models
  4. 2:39Send
  5. 3:20Callback
  6. 4:49Parametric Polymorphism
  7. 5:38algebraic data types
  8. 6:27IO data type
  9. 7:58Environmental effect type
  10. 8:32Refactoring functions
  11. 9:47OpenAPI
  12. 10:17Brew
  13. 10:45Invoke
  14. 11:16Test
  15. 12:50Why Bo
  16. 14:14Combine
  17. 14:41Conclusion
~/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.