The eero programming language