Об одном подходе к проектированию алгебраических типов данных

Abstract

Робота присвячена методам вирішення проблем які виникли при проектуванні алгебраїчних типів даних шкільної системи комп’ютерної алгебри Терм. Описана ієрархія алгебраїчних типів даних цієї системи, розглянуті основні методи проектуванні та реалізації алгебраїчних обчислень, які ґрунтуються на використанні технологій символьних перетворень.

The article is dedicated to the methods for solving the problems, aroused during design of school computer algebra system TerM algebraic data type. The algebraic data type hierarchy of the present system is described in the article; also the basic methods of design and realization of the algebraic computing, based on the usage of symbolic conversion technologies, are examined.