Intensional Differences Between Programming Languages
A Conceptual and Practical Analysis
Bibliographic Data
| ID | 22134196 |
|---|---|
| Authors | Paula Quinon (0000-0001-7574-6227, Warsaw University of Technology, corresponding author) |
| Year | 2025 |
| Volume | 10 |
| Issue | 6 |
| Pages | 129 |
| Publication date | 2025-11-29 |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Philosophies (JOURNAL) |
| Journal identifiers | ISSN: 2409-9287 • E-ISSN: 2409-9287 |
| Publisher | MDPI AG (PUBLISHER • IT) |
| DOI | 10.3390/philosophies10060129 |
| OpenAlex | W4416850533 |
| Language | EN |
| References cited | 48 |
This paper investigates intensional differences between programming languages—understood as differences in how computational processes are expressed, structured, and specified rather than merely in what they compute. While such differences have been studied in classical models of computation, they remain underexplored in the context of programming languages. Yet, programming languages undeniably compute, and any account of what “computing” means must include the ways in which they do so. The paper first clarifies the extensional/intensional distinction and introduces a methodological framework to study this distinction based on Carnapian explication. It then follows an idealized programming workflow, which I structure according to the Carnapian framework, to identify where and how intensional differences arise—including during problem specification, algorithm design, language choice, data representation, and physical implementation. The final part situates intensionality within the broader epistemology of programming practice, examining how it is shaped by type-theoretic assumptions, social and historical context, and the implications of bounded outcomes. Throughout, the paper examines both the “nature” (inherent features of computable functions) and “nurture” (human factors influencing programming language design and use) of intensional differences
Bounded function · Fifth-generation programming language · Functional logic programming · Inductive programming · Procedural programming · Programming paradigm · History of Computing Technologies · Logic, programming, and type systems · Teaching and Learning Programming
| Highly cited | No |
|---|