Durch Typinferenz (vom englischen type für „(Daten-)Art“ oder „Datentyp“ und inference für „Schlussfolgerung“), auch Typableitung genannt, kann in manchen (stark typisierten) Programmiersprachen viel Schreibarbeit eingespart werden, indem auf die Niederschrift von Typangaben verzichtet wird, die aus den restlichen Angaben und den Typ...