Ho lavorato con molte lingue che non generano una firma del metodo basata sul tipo restituito. Ho anche lavorato con uno (forse alcuni?) Che lo fanno. Quelli che non mi hanno dato problemi in passato (come qui ). Perché i linguaggi di programmazione generano firme di metodi senza riguardo al tipo di ritorno?
Aggiornamento: Mi riferisco specificamente alle lingue compilate in modo statico
Non si integrerebbe bene con le gerarchie di tipo typecasting e type. Se si dispone di due versioni di un metodo, una delle quali restituisce il tipo A e una che restituisce il tipo B, si verificano problemi quando:
È possibile aggirare questo problema con i cast, ma ciò richiederebbe la digitazione del nome di una delle funzioni. Puoi anche registrare un errore del compilatore quando la chiamata è ambigua, nel qual caso l'utente deve spendere una quantità simile di sforzi.
Perché puoi chiamare un metodo e non assegnarne il risultato.
Regola generale: le lingue strongmente tipizzate di solito associano la firma del metodo a un tipo di ritorno. Le lingue debolmente tipizzate non lo sono.
Non conosco C #, ma presumo che il problema potrebbe essere dovuto al modo in cui C # gestisce i generici. Potrebbe essere la creazione di un metodo totalmente diverso per quello generico, nel qual caso sono in realtà due metodi diversi.
Leggi altre domande sui tag programming-languages