EYG a predictable, and useful, programming language
summary
EYG presents a small functional language plus a structured editor that enforces managed effects so program semantics do not depend on the runtime environment and effects are statically analyzable. Programs reference dependencies by hash references of AST fragments so the same program always yields the same result. Closure serialization lets code fragments be shipped between build machine and runtime while the type system still verifies them, and a minimal AST targets easy reimplementation.
AI-written summary · about
related talks
02mEYG a predictable, and useful, programming language
32mEat Your Greens (EYG) a predictable, & useful, programming language
21mEffectful Software Contracts
15mEffects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism
41mYAEGI, Yet Another Elegant Go Interpreter
32mBuilding a Beginner's Programming Language with Go
51mEffects: to be or not to be?
32mExperience Report: Graph Rewriting with Lexical Effect Handlers