Special-Purpose Functional Languages

9619644 Kamin这个项目的目标是通过专注于特殊用途的函数式语言，促进从函数式编程社区向更广泛的编程社区的技术转移。建议的工作重点是设计和实现一种用于ASCII文件处理的函数式语言，暂定为FPERL。这以两种相辅相成的方式解决了这一目标。首先，FPERL将成为AWK和Perl等语言的函数式替代语言；它的开发将阐明这一领域，并有望获得新的函数式程序员的用户社区。其次，FPERL处理器的构建将基于一类独特的专用语言：元编程语言(也称为程序生成器)。处理器的组件--词法分析器、解析器、解析器等等--都将用专门为该类型组件设计的函数式元编程语言编写。这些元编程语言将被开发为FPERL的扩展，导致一个不寻常的引导过程。这项研究将产生关于各种专用语言领域的新知识--文件处理、解析等；关于元编程作为一种普遍适用的编程方法的新知识；以及关于支持元编程的语言的设计。***

9619644 Kamin The goal of this project is to promote technology transfer from the functional programming community into the wider programming community, by concentrating on special-purpose functional languages. The proposed work focuses on the design and implementation of a functional language for ASCII file processing, tentatively called FPERL. This addresses the goal in two mutually-reinforcing ways. First, FPERL is to be a functional alternative to languages like AWK and PERL; its development will shed light on this domain and will, it is hoped, garner a user community of new functional programmers. Second, the construction of the FPERL processor will be based on a unique class of special- purpose languages: meta-programming languages (also called program generators). The components of the processor - lexical analyzer, parser, de-sugarer, and so on - will each be written in a functional meta-programming language specially designed for that type of component. These meta-programming languages will be developed as extensions to FPERL, resulting in an unusual boot- strapping process. This research will produce new knowledge about a variety of special-purpose language domains - file processing, parsing, and so on; about meta-programming as a generally applicable programming methodology; and about the design of languages to support meta-programming. ***