Da dove viene la frase "sovraccarico"?
È interessante vedere la traduzione del termine in diverse lingue (ad es. elenco di articoli di Wikipedia sull'overloading ), alcuni le lingue lo traducono direttamente (nel senso di "mettere troppo peso su qualcosa"), ma alcune lingue non lo traducono affatto.
Questo non risponde alla domanda in modo definitivo, ma il primo utilizzo che posso trovare è di John McCarthy nel 1966. Come descritto da John Peck, Richiamo di diversi anni dopo una delle discussioni sullo standard Algol a Varsavia : "Quello che ricordo di quell'incontro è stata l'insistenza di John McCarthy, che ogni nuova lingua dovrebbe avere quello che chiama sovraccarico degli operatori. Questo alla fine sarebbe diventato la dichiarazione di operazione di ALGOL 68. "Quindi il termine catturato a causa di John McCarthy. O almeno era così oscuro nel 1966 che McCarthy aveva bisogno di spiegarlo agli altri principali progettisti di linguaggi del mondo e il suo uso si distingue dagli altri partecipanti come notevole. Sfortunatamente, è scomparso nel 2011 e non riesco a trovare nulla online in cui abbia parlato del perché l'abbia chiamato così, se ha coniato il termine se stesso, o se c'è una storia dietro di esso.
Come mi ha informato un commentatore, Bjarne Stroustrup dice esplicitamente di aver preso l'idea da Algol quando ha progettato il C ++ all'inizio degli anni '80. Una ricerca di Google Ngram mostra che le frasi "overloading dell'operatore" e "operatori sovraccaricati" erano praticamente sconosciute prima degli anni '80. Non sembra essere il modo in cui i matematici hanno parlato del modo in cui il segno + potrebbe denotare qualsiasi operazione di gruppo.
Jules nei commenti fornisce una fonte plausibile per l'uso del termine di McCarthy: i linguisti si riferivano ai doppi significati delle parole come "sovraccarico semantico" per decenni prima del 1966. I documenti di McCarthy mostra che aveva familiarità con il campo e la sua terminologia. (Una volta scrisse anche: "Le liti tra i linguisti mi ricordano un detto di mia suocera, la moglie di un contadino in pensione." Quando i polli iniziano a cannibalizzarsi a vicenda, l'unica cosa da fare è macellare tutto o vendere a qualcun altro e ricomincia da capo. '")