The Hills Are Alive With the Sound of Comonads

on YouTube ↗51m

" summary

Demonstrates a working browser DAW, purescript-wags, that projects and updates full Web Audio graphs 60×/s by representing audio state as cofree comonads over function-of-time functors; uses existential types to hide mutable Web Audio handles and grafts linear types as zero-cost checks. Claims O(1) stepwise extraction of the next audio frame, sustains low-latency MIDI/audio under a sub-15-millisecond deadline, and ships examples at https://wags.fm/, https://whatis.wags.fm/, https://yap.wags.fm/.

AI-written summary · about

" chapters (8)

1. 0:00Start
2. 0:52Ben Burns
3. 1:20Where Does It Live on Github
4. 3:27Oscar Peterson
5. 19:13Performance Characteristics
6. 35:07Mini Notation
7. 41:56Can You Generate a Wax Document from a Physical Synthesizer
8. 48:29Rx Observables

" related talks

• 24mA Gentle Introduction to ComonadsJustin Heyes-Jones · Scale By The Bay 2019
• 31mAbstract nonsenseJu Gonçalves · Code Mesh LDN 2018
• 39mA roadtrip with monads: from MTL, through tagless to BIOPawel Szulc · Lambda World Cádiz 2018
• 21mGaticos & MonadsAlejandro Gómez · Lambda World 2015
• 02mInterviewJustin Heyes-Jones · Scale By The Bay 2019
• 44mRethinking compilers with live codingTomas Petricek · Lambda World Seattle 2018
• 01h 02mThe Power of CompositionScott Wlaschin · NDC Oslo 2018
• 21mDemo Counterpoint Analysis and SynthesisJohn Leo · FARM 2022