pragma

English

Etymology

From Ancient Greek πρᾶγμα (prâgma, “a thing done, a fact”). In the technical senses perhaps a back-formation from pragmatic or a clipping of pragmat used earlier in ALGOL.

Pronunciation

• IPA^(key): /ˈpɹæɡmə/

• Audio (Southern England):

  (file)

Noun

pragma (plural pragmas or pragmata)

1. (programming) A compiler directive; data embedded in source code by programmers to indicate some intention to a compiler.

   Synonym: (in ALGOL) pragmat

   This pragma stops the compiler from generating those warnings we don't care about.

   • 2012, Robert Oshana, DSP for Embedded and Real-Time Systems, Elsevier, →ISBN, page 218:

     […] users may also want to disable functionality such as function inlining via either a compiler command line option or compiler pragma, depending on the build tools system and functionality supported.

2. (Internet) In early versions of HTTP, a general header that specifies some implementation-specific directive, to any recipient, and may specify that the HTTP response should not be cached.
   • 1996 May, T. Berners-Lee, R. Fielding, H. Frystyk, “Hypertext Transfer Protocol — HTTP/1.0”, in RFC Editor, →ISSN, RFC 1945:

     It is not possible to specify a pragma for a specific recipient; however, any pragma directive not relevant to a recipient should be ignored by that recipient.

3. (uncommon) A practical thing or action, as opposed to theory or belief (dogma).
   • 1939, Jacques Barzun, Of Human Freedom, Boston: Little, Brown and Company, page 129:

     At any given minute, we must choose between habitual action and thoughtful action, between Dogma and Pragma.

   • 1961 April, R. A. Lafferty, “All the People”, in Galaxy Science Fiction‎^[1]:

     "If it is practical, a pragma, it is a thing and not a theory."

   • 2023 May 20, Daniel Hannan, “The Conservative coalition is falling apart. Too many Tories have given up on freedom”, in The Telegraph‎^[2], →ISSN:

     Other speakers railed against “neo-liberal dogma”; but a dogma is a belief that you hold regardless of evidence. No one comes to economic liberalism through dogma. In theory, a planned economy might work better than one left to arrange itself; in practice, it never does. Classical liberalism, far from being a dogma, is a pragma.

Anagrams

• grampa

Spanish

Noun

pragma m (plural pragmas)

1. pragma