Removing fragility from software with the EYG programming language

on YouTube ↗53m

" summary

EYG claims programs never crash by combining algebraic effects in the type system, structural typing, and deterministic dependencies; the compiler is sound (no runtime type errors except nontermination) and continuations are closure serialized to JSON so execution can pause, ship, and resume. Demos include a browser download effect that produced hello world.txt, JS generation and deploy to app.html that alerts, and an Arduino LED effect runtime that turns an LED on and off.

AI-written summary · about

" chapters (14)

1. 0:00EYG introduction
2. 1:03Defining software fragility
3. 3:28Why programs crash
4. 6:14What is EYG
5. 11:37Eat your greens philosophy
6. 12:40Algebraic effects in EYG
7. 25:44EYG never crashes
8. 30:20Structural typing benefits
9. 41:19Typing the entire system
10. 44:27Live demo: structural typing
11. 47:38Deterministic dependencies
12. 50:06Simplicity and future goals
13. 51:10Run EYG anywhere
14. 51:51Resources and Q&A

" related talks

• 09mGlicol: A Graph-Oriented Live Coding Language Developed With Rust, WebAssembly And AudioWorkletQichao Lan, Alexander Refsum Jensenius · Web Audio Conference 2021
• 41mCreating High-Performance Web Apps with WebAssemblyKonstantin Möllers · DevDays Europe 2019
• 35mAshley Williams - SeattleJS Conference 2017Ashley Williams · SeattleJS Conference 2017
• 45mInteraction with real-world JavaScript from compiled RustIngvar Stepanyan · RustFest Kyiv 2017
• 39mErlang on Microcontrollers: The Research ContinuesDmytro Lytovchenko · Erlang User Conference 2017
• 27mNext-Generation Programming: Rust & ElmRichard Feldman · GOTO Chicago 2020
• 27mClosing KeynoteJulia Evans · RustConf 2016
• 46mKeynote: Rust is not about memory safetyHelge Penne · NDC TechTown 2025