函数式程序的调试及跟踪

DEBUGGING AND TRACING IN FUNCTIONAL PROGRAMMING

由于函数式程序设计与传统程序设计的风格不同,从而程序的调试和跟踪方法也存在很大的差异。本文着重介绍了函数式程序的调试和跟踪方法,并且介绍了我们在MicroVAX-II 机器上实现的GFP 系统的调试方法及实现技术。

The style of functional programming is different from that of conven-tional programming and so the debugging and tracing techniques are also different.This paper presents some debugging and tracing techniques in functional program-ming and their applications in a graphic functional programming system on MicroVAX-II.