Interfacing Programming Language Semantics and Pragmatics: What Does “Hello, World” Mean?

In 1978, Brian Kernighan and Dennis Ritchie insisted that the first program to write in a new language is one to print the words “hello, world.” From then until now, “hello, world” has frequently been the first exercise in introductory programming courses. On one hand, this does seem like a good fir...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Philosophies (Basel) Ročník 10; číslo 4; s. 86
Hlavní autor: Sack, Warren
Médium: Journal Article
Jazyk:angličtina
Vydáno: Basel MDPI AG 01.08.2025
Témata:
ISSN:2409-9287, 2409-9287
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:In 1978, Brian Kernighan and Dennis Ritchie insisted that the first program to write in a new language is one to print the words “hello, world.” From then until now, “hello, world” has frequently been the first exercise in introductory programming courses. On one hand, this does seem like a good first program because it makes something familiar—a greeting—appear on the screen. On the other hand, it is extremely strange. How can it be understood as a greeting? Who is greeting whom? Unfortunately, the bulk of formal means for defining programming languages provides very little help for assigning a meaning to the “hello, world” program. It is argued that the weakness of older theories and methods of programming language semantics is due to the historical, disciplinary segregation (in logic, semiotics, and linguistics) of semantics as a study apart from syntax and pragmatics. Drawing from both more recent work in programming language semantics that addresses side effects and on speech-act-based programming language design, this paper proposes a possible reintegration of semantics and pragmatics in order to better define the meaning of “hello, world” and the programming languages used to produce speech acts more generally.
Bibliografie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:2409-9287
2409-9287
DOI:10.3390/philosophies10040086