Random thought: Are there any localized programming languages? For example, in Haskell, we have the Bool datatype with the constructors True and False. Could we have a mapping from some underlying representation of that to automatically derive the Bool datatype with constructors ನಿಜ and ಸುಳ್ಳು in Kannada (ಕನ್ನಡ)? Or Verdad and Falso in Español? Etc etc etc...