Functional effects in perspective
summary
Traces effects to the 1994 paper extensible denotational language specifications and argues languages now add effects either as libraries or core features; shows concrete implementations: Racket uses delimited continuations, Scala offers contextual functions and capturing types while OCaml ships multicore with runtime delimited continuations plus extensible variant types and a small effect module. Provides a 20-line OCaml example that implements message passing concurrency, reports practical performance validation, and notes OCaml deliberately omits global effect safety (unhandled effects raise exceptions).
AI-written summary · about
chapters (8)
- 0:00Functional effects perspective
- 1:56Origins of effect systems
- 6:19Effect systems 1994-2013
- 13:44Research languages with effects
- 18:26Continuations as effects
- 23:30Languages versus developer needs
- 32:11OCaml Scala Haskell effects
- 45:12Conclusion on effects
related talks
50mFunctional Programming with Effects
14mFundamentalist Functional Programming
32mEffective Programming in OCaml
44mEffects, Algebraically yours ..
33mExtensible Effects: A Leaner Cake for Purely Functional Code
01h 06mThe Evolution of Effects
43mFunctional Programming with Effects
43mSurviving a world overflowing with effects