Modern Erlang Teaching from Code Refactoring to Actor System Verification
summary
Course presents a five‑step refactoring method that turns imperative file‑traversal code into comma‑free functional composition, uses Taylor series exercises to teach recursion, and shows Java interop via JInterface with explicit type/arity packing. A tiny TCP server spawns lightweight Erlang processes and sustains thousands of connections on an AMD 500 MHz with 512 MB RAM during demo. A ~100‑line PoET consensus model lives on GitHub and students translate Erlang models to Promela/Spin for verification; labs progress end‑to‑end and counter AI with live incremental coding.
AI-written summary · about
chapters (12)
- 0:00Modern Erlang teaching intro
- 2:15Erlang in production
- 3:21Teaching Erlang in master’s
- 5:30Refactoring imperative to functional
- 10:09Recursion via mathematics
- 13:24Erlang with Java via JInterface
- 19:14Lightweight processes and TCP
- 23:45Consensus protocols in Erlang
- 26:24Verifying actor systems
- 28:56Laboratory teaching approach
- 29:42AI challenges in education
- 31:09Course outcomes and feedback
related talks
35mDiving into Erlang is a one-way ticket
43mConcurrency Oriented Programming in a Modern World
42mConcurrency Oriented Software
51mThe Erlang VM or How I Started Loving Parallel Progamming
40mComparison and Commentary on "Application Operating System"
38mLanguage Reliability Illustrated by Elixir and Erlang
39mConcurrent Languages are Functional
43mConcurrency Abstractions for Application Security