他是一種程式語言嗎