a programming language for writers