Silbentrennung für 'typinferenz'

Diese Seite zeigt, wie man die Silben von 'typinferenz' trennt.

Die Silbentrennung (oder Worttrennung) am Zeilenende erfolgt aus ökonomischen Gründen (ein Wort passt nicht mehr vollständig auf eine Zeile) und ästhetischen Gründen (die Seite wird gleichmäßiger gefüllt). In vielen Sprachen, darunter der deutschen Sprache, ist die Hauptgrundlage für die Worttrennung die Zerlegung zusammengesetzter Wörter in ihre Bestandteile und anschließende Zerlegung nach Silben.

Durch Typinferenz (englisch Type inference mit type „(Daten-)Art“ oder „Datentyp“ und inference „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 Typisierungsregeln hergeleitet (rekonstruiert) werden können; dazu bedient man sich derselben Regeln, die auch zur Typprüfung dienen, als deren Fortentwicklung die Typinferenz in gewisser Weise anzusehen ist. Bei der Durchführung bestimmt man durch Unifikation den allgemeinsten Typ (Haupttyp, principal type) eines Terms. Die Entwicklung der Typinferenz (für ML) durch Milner war ein Meilenstein in der Entwicklung der Programmiersprachen. Sie bedingte, ermöglichte aber zugleich auch anspruchsvollere Typsysteme, die damit erheblich an Bedeutung gewannen. Gewisse Spracheigenschaften wie Typanpassungen und manchmal Überladen wurden zurückgedrängt, weil sie mit der Typinferenz kollidieren. Viele Programmiersprachen unterstützen Typinferenz, zum Beispiel: Python, Java, C++11, C# und Visual Basic.

Obere Beschreibung aus dem Wikipedia-Artikel "typinferenz", lizensiert unter CC-BY-SA, Liste an Mitwirkenden auf Wikipedia.

Deutsch
- English (Englisch)

Sie möchten auch die Rechtschreibung Ihrer Texte prüfen? Nutzen Sie rechtschreibpruefung24.de kostenfrei!