The Design of the Scalaz 8 Effect System
summary
Scalaz 8 supplies a concrete IO data type with an async constructor that returns now / later / later-with-cancel results, lawful fiber-based concurrency with fork/join fibers and a parametric raceWith that yields winning value plus a cancellable loser, deterministic bracket and supervised for resource safety, MVar and STM primitives, and an implementation tuned for a zero-allocation fast path that benchmarks up to 100x faster than Future and Cats Effect.
AI-written summary · about
chapters (9)
- 0:00Start
- 8:094 MONSTER PAINS
- 12:28ASYNCHRONOUS
- 24:53CONCURRENCY
- 41:14RESOURCE SAFETY
- 47:28PRINCIPLES
- 48:47VERSUS: PERFORMANCE
- 50:22VERSUS: SAFETY
- 51:00VERSUS: EXPRESSIVENESS
related talks
03mFlavio Brasil will be joining us at #LambdaConf2025
55mUnwrapping IO: is it a path that you want to follow?
49mCoding Tomorrow
30mConversational Computing: How Okasaki proved McCarthy right again
44mSome History of Functional Programming Languages
58mThe Next Great Functional Programming Language
45mScala Meets GenAI - Build the Cool Stuff with LLM4S
01h 03mKeynote: Why Functional Programming Matters