What, if anything, is a llama?
summary
A browser-embeddable lambda-calculus evaluator gets built and it actually runs: it parses terms, performs beta-reduction step-by-step, and returns strings for the page. Implementation uses a PureScript core compiled to JS, a small JS glue layer exposing string APIs, and Monaco editor integration to replace <div> regions with live editors. Racket generates the surrounding HTML. The result is interactive Llama the Ultimate pages that execute reductions in the page.
AI-written summary · about
chapters (6)
- 0:00Start
- 12:46Lambda Calculus
- 21:03Reducible Expressions
- 21:27Better Reduction
- 26:42Boolean Blindness
- 39:24Conclusion
related talks
59mLambda Calculus For People Who Can't Be Bothered to Learn It - part 1 of 2
01h 03mLambda Calculus For People Who Can't Be Bothered to Learn It - part 2 of 2
53mExplaining Lambda Calculus through Plain JavaScript
30mThe Universe in a Single Arrow: A Live Dive into the Lambda Calculus
29mLunarML: From Standard ML to Scripting Languages
48mIt’s birds all the way down: Fun Introduction to Lambda Calculus
34mThe universe in a single arrow: A live dive into the lambda calculus
13mBrewing JavaScript: Compile your own domain-specific language to JavaScript