Promise-focused programming language