Implementation of Parallel Functional Programming Systems

本项目旨在开发面向并行计算机的函数式程序设计系统。在AP1000机上实现了一个并行功能系统--PARALLECT GOFER，目前正在评估中。该实现基于Mark Jones开发的GOFER系统，并接受任何GOFER程序进行顺序评估。程序被允许包括对扩展库函数的引用以实现并行化。关于这种实现的几个新想法已经发布。其中一个想法就是所谓的数据构造的“拆箱”技术。这一实现表明，该思想是有前景的，但在实际应用中需要考虑一些优化问题，同时也探索并实现了一种新的优化思想。尽管到目前为止大多数优化都依赖于启发式，但我们的新系统完全是机械的。它是基于构造性算法研究中的亚纯。这一技术适用于顺序和并行函数式程序。这些结果已在国际会议上公布，并在会议记录中发表。

This project aims at development of functional programming systems for parallel computers. Implementation of a parallel functional system Parallel Gofer on the AP1000 computer has been finished and under evaluation. This implementation is based on the Gofer system developed by Mark Jones and accepts any Gofer programs for sequential evaluation. Programs are allowed to include references to extended library functions for parallelization.Several new ideas for this implementation have been published already. One of such ideas is so-called "unboxing" techniques for data construction. This implementation showed that the idea is promising while some optimization should be considered for practical application.Along with this implementation, a novel idea for optimization has been explored and implemented. Although most optimization so far relies on heuristics, our new system is completely mechanical. It is based on hylomorphisms which comes from research on constructive algorithmics. This technique is applicable to sequential and parallel functional programs.These results have been made public at international conferences and published in the proceedings.