The fresh programming language of Google