6、探索FORMAC：公式操作编译器的奥秘

探索FORMAC：公式操作编译器的奥秘

在科学计算和数学研究领域，公式操作是一项至关重要的任务。为了实现高效、准确的公式处理，人们开发了各种工具和系统。其中，FORMAC（Formula Manipulation Compiler）作为一款实验性系统，在公式操作方面展现出了独特的优势。本文将深入探讨FORMAC的设计理念、功能特点以及实现技术，带您领略其在公式处理领域的魅力。

1. FORMAC概述

FORMAC是一个运行在7090/94计算机上，基于IBSYS - IBJOB的实验性系统。它始于1962年夏天，其主要目标是证明将公式操作功能集成到常规数值编译器中的可行性。最初，并没有计划发布该系统，但由于用户对反馈的需求以及对尝试该系统的热情，最终决定将其作为实验性系统提供给用户。

2. 设计目标与理念

2.1 通用实用系统

FORMAC的基本目标是开发一个通用且实用的系统。为了在合理的时间内实现这一目标，采取了一些简化措施。从一开始就明确，FORMAC是一个通用系统，而非一组专门用于特定任务的独立例程。值得注意的是，FORMAC的设计更注重实用性和易用性，而非追求数学上的优雅但难以使用的设计。

2.2 高级语言集成

FORMAC的一个核心概念是将公式操作功能融入到适合解决数值数学问题的高级语言中。选择FORTRAN IV作为基础语言，尽管在FORMAC开发初期，FORTRAN IV仍在开发中。这样做的目的是让用户能够受益于FORTRAN的循环控制、数值计算和输入输出等功能。

为了实现公式操作功能，FORMAC设计了一种特定的语言，而不是通过一系列子例程调用。其语法设