Gowri Shankar Palakurthi

Sabline: effects in signatures, budgets at run time, and a baseline for a repository's capability surface

Code written by language models is increasingly run by people who have not read it. Sabline is a small programming language for that situation. A function's signature declares which of seven effects it may perform, and the compiler checks the declaration across the whole call graph. A runtime refuses any operation outs...