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...

Descripción completa

Detalles Bibliográficos
Publicado en:	Communications of the ACM Vol. 68; no. 7; pp. 120 - 131
Autores principales:	Dimoulas, Christos, Felleisen, Matthias
Formato:	Artículo
Publicado:	Association for Computing Machinery Jul2025
Materias:	Pragmatics Programming languages Programming language semantics TypeScript (Computer program language) JavaScript programming language Computer software development
Acceso en línea:	Ver este registro en EBSCOhost

Descripción
Sumario:	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.