Abstract nonsense
summary
A Haskell prototype models drawing, randomness and environment lookups as algebraic effects so images compose as a monoids as canvas combine and commutative/random effects can run concurrently while dependent ones remain sequential. The implementation uses free monoidal constructions to mix applicative and monadic parts, renders via native bindings (Cairo) from Haskell, produces triangular meshes and random walks that needed bug fixes but ultimately work, and plans a WebAssembly compiler. applicative-parallelism algebraic effects as handlers
AI-written summary · about
chapters (4)
- 0:00Start
- 7:29minimum requirements for a genart programming language
- 11:06Parallelism is an evaluation strategy!
- 13:51As it turns out, applicatives and monads are monoidal categories.
related talks
28mA Series of Unfortunate Effects
43mFunctional Programming with Effects
01h 14mBeyond Free Monads
26mYo Dawg, Heard You Want To FlatMap Your Direct-Style
50mFunctional Programming with Effects
01h 06mThe Evolution of Effects
42mMonads you already use without knowing it
29mPaella: algebraic effects with parameters and their handlers