Acute: high-level programming language design for distributed computation