Eat Your Greens (EYG) a predictable, & useful, programming language
summary
EYG aims to make programs fully predictable for deployment by combining a structural static type system with managed effects (algebraic effects that are statically inferable) and closure serialization so AST-hash-referenced fragments can be shipped between build and runtime. The prototype runs in a browser-native runtime with a typed REPL, targets small teams (1–10 devs), demos static analysis across build and webserver, and shows live deploy/download flows (Netlify demo and tweet send worked during the session).
AI-written summary · about
chapters (9)
- 0:00Introduction
- 3:24Features
- 6:51Eat Your Greens
- 8:00Types
- 9:36Gs Law
- 11:00EIG
- 14:17Algebraic Effects
- 20:50Closure serialization
- 23:26Closure serialization in languages
related talks
07mEYG a predictable, and useful, programming language
32mBuilding a Beginner's Programming Language with Go
41mYAEGI, Yet Another Elegant Go Interpreter
07mYet Another Elegant Go Interpreter
23mPerformant Dynamically Typed E-Graphs in Pure Julia
31mThe AST Galaxy to the Virtual Machine Blues
44mRethinking compilers with live coding
15mFast & Easy ASTs for Flexible Embedded Interpreters