The Peta programming language