The Rational Programmer: Investigating Programming Language Pragmatics.

This article presents the development of the rational programmer, which incorporates pragmatics into developing and updating programming languages. Topics include typed and untyped programming languages, run-time checks and type mismatches. The article presents how the rational programmer works, wha...

Full description

Bibliographic Details
Published in:	Communications of the ACM Vol. 68; no. 7; pp. 120 - 131
Main Authors:	Dimoulas, Christos, Felleisen, Matthias
Format:	Article
Published:	Association for Computing Machinery Jul2025
Subjects:	Pragmatics Programming languages Programming language semantics TypeScript (Computer program language) JavaScript programming language Computer software development
Online Access:	View this record in EBSCOhost

Description
Summary:	This article presents the development of the rational programmer, which incorporates pragmatics into developing and updating programming languages. Topics include typed and untyped programming languages, run-time checks and type mismatches. The article presents how the rational programmer works, what it delivers, and what it is not- with an emphasis on the need for complementary human studies.