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...
| Published in: | Communications of the ACM Vol. 68; no. 7; pp. 120 - 131 |
|---|---|
| Main Authors: | , |
| Format: | Article |
| Published: |
Association for Computing Machinery
Jul2025
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=186249321&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 186249321 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Jul2025 vid: 68 iid: 7 pid: 68 pub: Association for Computing Machinery artinfo: ui: 186249321 10.1145/3708981 ppf: 120 ppct: 11 formats: tig: atl: The Rational Programmer: Investigating Programming Language Pragmatics. aug: au: Dimoulas, Christos Felleisen, Matthias affil: Northwestern University, Department of Computer Science, Evanston, Illinois, United States Northeastern University, College of Computer Sciences, Boston, Massachusetts, United States su: Pragmatics Programming languages Programming language semantics TypeScript (Computer program language) JavaScript programming language Computer software development sug: subj: Pragmatics Programming languages Programming language semantics TypeScript (Computer program language) JavaScript programming language Computer software development keyword: design evaluation method gradual typing optional typing pragmatics ab: 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. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2025 holdings: @attributes: islocal: N |
|---|