Towards a unified framework for programming paradigms: A systematic review of classification formalisms and methodological foundations

2025-08-01

AI Summary

The rise of multi-paradigm programming languages has rendered traditional paradigm classification methods inadequate, leading to interoperability issues and conceptual ambiguity. Method: We conduct a systematic literature review encompassing 74 studies to diagnose fundamental limitations in existing classification schemes—particularly their coarse conceptual granularity and lack of formal foundations—and propose a reconstructive paradigm framework grounded in type theory, category theory, and Unifying Theories of Programming (UTP). This framework identifies orthogonal atomic primitives to enable formal modeling and theoretical unification of hybrid-paradigm languages. Contributions: (1) An academic evolution map tracing the shift from empirical classification to formal reconstruction; (2) A research roadmap toward a foundational, unified programming paradigm theory; and (3) A rigorously verifiable theoretical basis for language design, tool development, and cross-paradigm integration.

Technology Category

• Reasoning under Uncertainty: Probabilistic Programming
• Knowledge Representation and Reasoning: Knowledge Representation Languages
• Game Theory and Economic Paradigms: Game Theory

Application Category

• Semantics and Knowledge: Methods, algorithms and applications for the development of semantic models, knowledge graphs and other forms of structured data models with machine-interpretable semantics
• Graph Algorithms and Modeling for the Web: Algorithms and analysis for heterogeneous, signed, attributed, multi-relational, temporal, higher-order, and annotated Web-related graphs
• Web Mining and Content Analysis: Mining multimedia, multimodal, multilingual, cross-lingual Web data

Abstract

The rise of multi-paradigm languages challenges traditional classification methods, leading to practical software engineering issues like interoperability defects. This systematic literature review (SLR) maps the formal foundations of programming paradigms. Our objective is twofold: (1) to assess the state of the art of classification formalisms and their limitations, and (2) to identify the conceptual primitives and mathematical frameworks for a more powerful, reconstructive approach. Based on a synthesis of 74 primary studies, we find that existing taxonomies lack conceptual granularity, a unified formal basis, and struggle with hybrid languages. In response, our analysis reveals a strong convergence toward a compositional reconstruction of paradigms. This approach identifies a minimal set of orthogonal, atomic primitives and leverages mathematical frameworks, predominantly Type theory, Category theory and Unifying Theories of Programming (UTP), to formally guarantee their compositional properties. We conclude that the literature reflects a significant intellectual shift away from classification towards these promising formal, reconstructive frameworks. This review provides a map of this evolution and proposes a research agenda for their unification.

Problem

• Assess limitations of current programming paradigm classification methods
• Identify atomic primitives for reconstructive paradigm frameworks
• Propose formal unification using Type and Category theories

Innovation

• Compositional reconstruction of paradigms
• Orthogonal atomic primitives set
• Type and Category theory frameworks