locale
Pronunciation
  • (British) IPA: /ləʊˈkɑːl/
  • (America) IPA: /loʊˈkæl/
Noun

locale (plural locales)

  1. The place where something happens.
    Being near running water and good shade, the explorers decided it was a good locale for setting up camp.
  2. (computing) 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. (mathematics) 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.)
Translations Translations
  • French: paramètres régionaux, localisation
  • German: Locale
  • Spanish: configuración regional



This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.025
Offline English dictionary