An experimental new programming language