Lambda Days 2015 - Edwin Brady - State, Side-effects and Communication in Idris
Why it's on BrighterTube
Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidenceExplores state management, side effects, and communication patterns in Idris language. Technical explanation of language features for managing complexity.
What you'll learn
A 48-minute video from Erlang Solutions: “Lambda Days 2015 - Edwin Brady - State, Side-effects and Communication in Idris”.
Video by Erlang Solutions, played through YouTube's embedded player.