The Meaning of LFE
summary
LFE proves that a Lisp syntax can target BEAM: the repple evaluates functions and macros live, macros expand into Erlang forms, and code compile to Core Erlang before hitting the VM. Examples show pattern matching, binary matching, supervisor restart strategies and per-process generational GC that avoids global pauses. Property tests run via QuickCheck interop and pass. The author implements threaded-style macros, macro expansion works in the REPL, and interop with existing Erlang libraries actually runs.
AI-written summary · about
chapters (31)
- 0:00Introduction
- 0:42Why LFE
- 1:28Erlang
- 3:11concurrency
- 4:27distributed systems
- 5:03per process
- 6:16supervisors
- 8:02Lisp
- 9:22Lisp Examples
- 9:34The Beauty of Lisp
- 10:13Abstract Syntax
- 13:47Pattern Matching
- 14:50Dos
- 15:44Example
- 16:23Garbage Collection
- 17:49Single Heap
- 18:38Interop
- 19:20QuickCheck
- 20:56Defining Macros
- 22:28LFE Cond
- 23:08LFE Instrument Steps
- 24:38Macros
- 25:31Backquote macro
- 26:32Single threaded macro
- 26:55Syntax rules
- 27:39Cutter
- 27:52Expand
- 28:30List
- 28:52Unique variables
- 29:16Core Erlang
- 29:41Parser Generator
related talks
34mInterview with Louis Pilfold on Elixir Gleam
47mPurescript on the BEAM; Typed OTP for greatness
41mEnd-to-end Purescript with Erlang/OTP
01h 02mYour next favorite programming language: Gleam
53mIntro to Haskell for Erlangers
38mA Code Centric Journey Into the Gleam Language
37mElixir - functional, concurrent, distributed programming
41mEvolving Functional Programming Languages