A programming language design experiment