A conceptual programming language used in evaluating language functions and in the study and notation of programming languages,it does not result in executable code.

• 一种概念上的程序设计语言，用于评估语言功能和程序设计语言的研究和标注，它不产生可执行代码。