Implementation of Parallel Functional Programming Systems

该项目旨在为并行计算机开发函数式编程系统。在AP1000计算机上实现了并行功能系统Parallel Gynecology，目前正在评估中。这个实现是基于由Mark Jones开发的Gestival系统，并接受任何Gestival程序进行顺序评估。允许程序包含对扩展库函数的引用以实现并行化。已经发表了一些关于这种实现的新想法。其中一个想法是所谓的“拆箱”技术的数据建设。该实现表明了该思想的可行性，但在实际应用中还需要考虑一些优化问题。沿着该实现，探索并实现了一种新的优化思想。虽然到目前为止大多数优化都依赖于机器人，但我们的新系统完全是机械的。它是建立在对构造性算法研究的基础上的。这种技术适用于顺序和并行函数程序。这些结果已在国际会议上公布，并发表在会议论文集上。

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.