~/talk

Patterns of a pragmatic functional architecture

Talkat Lambda World 2015 · on Saturday, 2015-10-24· [functional-programming]
slides:none on file

Demonstrates a pragmatic, purely functional architecture implemented in Scala: composes domain algebras into an application via Free monads and coproducts, injects individual algebras into the combined program with the Inject type class and resolves behavior by folding the free program with separate interpreters (console via Id, in‑memory datasource), uses trampolines to avoid stack blowup, shows dependency injection with implicits and Kleisli, and preserves exception types using rapture.Result so runtime errors remain recoverable and testable.

AI-written summary · about

  1. 0:00Introduction
  2. 2:52Architectural Goals
  3. 4:50Free Monads Explained
  4. 7:27Defining the Algebra
  5. 10:35Combining Algebras
  6. 14:55Program Composition
  7. 18:26Interpreting the Program
  8. 21:55Running the Program
  9. 23:45Dependency Injection
  10. 26:08Handling Exceptions
  11. 32:31Conclusion
~/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.