Aeon language with liquid and linear types catches broken agent plans at compile time
dscape · x · 2026-09-06
LLMs happily generate action plans as bash, Python or AppleScript, but broken plans are often only discovered hours into execution. Alcides, Associate Professor at the University of Lisbon and LASIGE researcher, built aeon, a language whose liquid and linear types let the compiler reject nonsensical programs before they run. He will show how to design a domain-specific language on aeon that catches an agent's conceptual mistakes at compile time.
More from coding & agent
- ASC CLI 5.0.0 ships: expired 4.x aliases removed, confirmation requirements tightened — rudrank · 2026-09-06
- App Store Connect CLI adds scriptable IAP tax-category commands: list, view, set, reset — rudrank · 2026-09-06
- asc CLI adds scriptable app tax-category commands and read-only Xcode Cloud SCM status — rudrank · 2026-09-06
- asc CLI can now persistently set Xcode Cloud's next build number — rudrank · 2026-09-06
- asc CLI adds create/list/update/delete commands for Xcode Cloud version aliases — rudrank · 2026-09-06
- asc CLI can duplicate Xcode Cloud workflows; copies start disabled for review — rudrank · 2026-09-06