Man kann den Typ von im Programmcode verwendeten Variablen (etwa den von Methodenparametern) entweder explizit benennen, oder sich auf den durch die Verwendung der Variablen determinierten Typ beziehen. Letzteres führt je nach Typmodell der verwendeten ProgrammierSprache zu unterschiedlichen Ansätzen. So gleichen sich Typinferenz funktionaler Programmierprachen, GenerischeProgrammierung und die auf dynamischer Polymorphie basierenden AgileTypDeklarationen zwar, führen aber zu sehr unterschiedlichen Programmierstilen. Siehe WikiPedia:Type_inference KategorieProgrammierSprachenKonzepte

Siehe WikiPedia:Type_inference