An experimental programming language