Se puede "escribir programas que escriban programas".