AN INFORMAL INTRODUCTION TO PROGRAMMING DATA-PROCESSING PROBLEMS IN A FUNCTIONAL LANGUAGE

The basic idea behind the proposed language CORAL (Conceptual Recursive Applicative Language) is that of functional programming and the functional model of data. The type system of the language includes abstraction, classification, generalization, and aggregation. The set of built-in type constructors makes it possible to describe set-theoretic operations over extensional types. The basis functions are defined as functions over lists, which are the only form of data organization in the language. The computational model of the language, which is based on notions of polymorphism and inheritance and treats data types as objects, is adequate to the needs of data processing in applications with complex relations between objects.