locale

English dictionary entry

Meanings

noun
  1. The place where something happens.
  2. The set of settings related to the language and region in which a computer program executes. Examples are language, currency and time formats, character encoding etc.
  3. A partially ordered set with the following additional axiomatic properties: any finite subset of it has a meet, any arbitrary subset of it has a join, and distributivity, which states that a binary meet distributes with respect to an arbitrary join. (Note: locales are just like frames except that the category of locales is opposite to the category of frames.)

Pronunciation

/ləʊˈkɑːl/ LL-Q1860 (eng)-Vealhurl-locale.wav /loʊˈkæl/

Word forms

locale locales

Etymology

From French local (adj), nominal use of the adjective.

Translations

Finnish: mesta Polish: lokal
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.