Programming languages in mechanized documentation

There are two fundamental facts about programming languages: there are lots of them; all but a handful are never used beyond the immediate circle of friends of the inventor. An exhaustive survey of all languages used over the past twenty years in Western Europe and the US would be time‐consuming and of questionable utility; however, it seems safe to suggest that the number is considerably in excess of 1,000. Sammet's latest annual survey lists 132 languages currently in use in the United States, and this can only be a minor fraction of those that have been constructed at one time or another.