在描述程序变换系统时,需要确定目标程序的数据表示.用字符串表示目标程序,虽直观自然,但无法保证目标程序的语法正确性;用树或项这样的结构数据类型表示目标程序,虽然能保持程序的结构特征,但它们的定义与操作往往冗长而复杂,不易书写、阅读.在描述目标程序生成时,为了能兼顾目标程序的语法正确性与其表达形式的直观自然性,一些元语言工具尝试为程序表示的结构数据类型提供字符串模板接口.然而,只有少数的一些同构元语言,利用一些便利条件,建立了程序表示的结构数据类型与目标程序文法之间的完全的对应关系,真正地有效实现了这种字符串模板接口.该文提出的准字符串类型,应用形式语言理论,用文法对字符串进行类型化.用准字符串作为程序表示,在保持表形式直观自然的基础上,能够用类型系统保证目标程序的语法正确性;另外,准字符串类型结构简单、类型规则独立,便于在多种语言中扩充实现.该文给出了在YACC中应用准字符串类型的具体实例和在核心语言Kernel C中扩充准字符串类型的指称方法.