locale
Pronunciation: /ləʊˈkɑːl/
The English word “locale” has 3 meanings listed here.
noun
- The place where something happens.
- 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.
- 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.)
Etymology
From French local (adj), nominal use of the adjective.
Keep exploring: in the interactive dictionary every word of a definition is a link. Open “locale” there
More English words
About this dictionary
The English dictionary on Glottosphere has 650,529 entries with a page. Browse the English dictionary.
Definitions are from Wiktionary, extracted by Kaikki.org, and are available under the CC BY-SA 4.0 licence.