pragmas

Noun

pragma (plural pragmas or pragmata)

1. A compiler directive; data embedded in source code by programmers to indicate some intention to a compiler.
   • This pragma stops the compiler from generating those warnings we don't care about.

   Synonyms:

   pragmat

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.
   • 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.1996 May, T. Berners-Lee, R. Fielding, H. Frystyk, “Hypertext Transfer Protocol — HTTP/1.0”, in RFC Editor, →ISSN, RFC 1945
3. (uncommon) A practical thing or action, as opposed to theory or belief (dogma).
   • At any given minute, we must choose between habitual action and thoughtful action, between Dogma and Pragma.1939, Jacques Barzun, Of Human Freedom, Boston: Little, Brown and Company, page 129