Effects & Co Effects
summary
Manuel Rivero from Codesai leads an open-space session about Effects and Coeffects in programming, discussing how effect systems and coeffect concepts help model side effects and contextual dependencies in code. The session focuses on the technologies and approaches for reasoning about effects/coeffects (likely in functional or type-driven contexts) to manage program behavior and context awareness.
AI-written summary · about
chapters (9)
- 0:00Start
- 5:23Side-effects
- 9:49Declarative Effects pattern
- 12:22No test doubles!
- 16:46Pure Functional Core, Imperative Shell
- 25:11A Pit of Success
- 26:59Views (browser)
- 28:09Sound functional language
- 29:04Interactive Development
