The Sather programming language