Logo
Unionpedia
Kommunikation
Jetzt bei Google Play
Neu! Laden Sie Unionpedia auf Ihrem Android™-Gerät herunter!
Frei
Schneller Zugriff als Browser!
 

Starke Typisierung

Index Starke Typisierung

Starke Typisierung, auch strenge Typisierung genannt (beide nur teilweise lehnübersetzt aus dem englischen Ausdruck strong typing), ist ein Prinzip bei der Typisierung von Programmiersprachen.

40 Beziehungen: Ada (Programmiersprache), Assemblersprache, C (Programmiersprache), C++, C-Sharp, Englische Sprache, Forth (Programmiersprache), Gambas (Programmiersprache), Generische Programmierung, Haskell (Programmiersprache), Java (Programmiersprache), Konvention vor Konfiguration, Laufzeit (Informatik), Lehnübersetzung, Modula-2, Niklaus Wirth, Oberon (Programmiersprache), Object Pascal, Objective CAML, Objektorientierung, Pascal (Programmiersprache), Perl (Programmiersprache), PHP, Polymorphie (Programmierung), Programmiersprache, Ruby (Programmiersprache), Rust (Programmiersprache), Statische Typisierung, Tcl, Typinferenz, Typisierung (Informatik), Typumwandlung, Typverletzung, Vererbung (Programmierung), Visual Basic .NET, Visual Basic Classic, Void (Schlüsselwort), Zeiger (Informatik), Zuweisung, Zuweisungskompatibilität.

Ada (Programmiersprache)

Ada ist eine strukturierte Programmiersprache mit statischer Typenbindung.

Neu!!: Starke Typisierung und Ada (Programmiersprache) · Mehr sehen »

Assemblersprache

Eine Assemblersprache, kurz auch Assembler genannt (von), ist eine Programmiersprache, die auf den Befehlsvorrat eines bestimmten Computertyps (d. h. dessen Prozessorarchitektur) ausgerichtet ist.

Neu!!: Starke Typisierung und Assemblersprache · Mehr sehen »

C (Programmiersprache)

C ist eine imperative und prozedurale Programmiersprache, die der Informatiker Dennis Ritchie in den frühen 1970er Jahren an den Bell Laboratories entwickelte.

Neu!!: Starke Typisierung und C (Programmiersprache) · Mehr sehen »

C++

C++ ist eine von der ISO genormte Programmiersprache.

Neu!!: Starke Typisierung und C++ · Mehr sehen »

C-Sharp

C# (englisch c sharp) ist eine typsichere objektorientierte Allzweck-Programmiersprache.

Neu!!: Starke Typisierung und C-Sharp · Mehr sehen »

Englische Sprache

Die englische Sprache (Eigenbezeichnung: IPA) ist eine ursprünglich in England beheimatete germanische Sprache, die zum westgermanischen Zweig gehört.

Neu!!: Starke Typisierung und Englische Sprache · Mehr sehen »

Forth (Programmiersprache)

Forth ist eine imperative, stackbasierte Programmiersprache.

Neu!!: Starke Typisierung und Forth (Programmiersprache) · Mehr sehen »

Gambas (Programmiersprache)

Gambas (ein rekursives Akronym für Gambas almost means basic) ist eine freie Programmiersprache zur Softwareentwicklung.

Neu!!: Starke Typisierung und Gambas (Programmiersprache) · Mehr sehen »

Generische Programmierung

Generische Programmierung ist ein Verfahren zur Entwicklung wiederverwendbarer Software-Bibliotheken.

Neu!!: Starke Typisierung und Generische Programmierung · Mehr sehen »

Haskell (Programmiersprache)

Haskell ist eine rein funktionale Programmiersprache, benannt nach dem US-amerikanischen Mathematiker Haskell Brooks Curry, dessen Arbeiten zur mathematischen Logik eine Grundlage funktionaler Programmiersprachen bilden.

Neu!!: Starke Typisierung und Haskell (Programmiersprache) · Mehr sehen »

Java (Programmiersprache)

Java ist eine objektorientierte Programmiersprache und eine eingetragene Marke des Unternehmens Sun Microsystems, welches 2010 von Oracle aufgekauft wurde.

Neu!!: Starke Typisierung und Java (Programmiersprache) · Mehr sehen »

Konvention vor Konfiguration

Konvention vor Konfiguration (oder coding by convention) ist ein Softwaredesign-Paradigma, welches zum Ziel hat, die Komplexität von Konfigurationen zu reduzieren: Solange sich die Entwickler in allen Bereichen einer Software an übliche Konventionen (beispielsweise gleichartige Bezeichner) halten, müssen diese nicht konfiguriert werden, was somit die Konfigurationen erheblich vereinfacht, ohne die Möglichkeiten der Entwickler einzuschränken.

Neu!!: Starke Typisierung und Konvention vor Konfiguration · Mehr sehen »

Laufzeit (Informatik)

Der Begriff Laufzeit beschreibt in der Informatik einerseits die Zeitdauer, die ein Programm, ausgeführt durch einen Rechner, zur Bewältigung einer Aufgabe benötigt.

Neu!!: Starke Typisierung und Laufzeit (Informatik) · Mehr sehen »

Lehnübersetzung

Werner Betz (1949) Mit Lehnübersetzung wird ein zusammengesetztes Wort bezeichnet, welches nach einem Fremdwort gebildet wurde, indem beide oder alle Bestandteile des Fremdwortes einzeln in eine andere Sprache übersetzt wurden.

Neu!!: Starke Typisierung und Lehnübersetzung · Mehr sehen »

Modula-2

Modula-2 ist eine 1978 entstandene Weiterentwicklung der Programmiersprache Pascal und wurde wie diese von Niklaus Wirth entwickelt.

Neu!!: Starke Typisierung und Modula-2 · Mehr sehen »

Niklaus Wirth

Niklaus Wirth (2005) Interview mit Niklaus Wirth (2014) Niklaus Emil Wirth (* 15. Februar 1934 in Winterthur) ist ein Schweizer Informatiker.

Neu!!: Starke Typisierung und Niklaus Wirth · Mehr sehen »

Oberon (Programmiersprache)

Oberon ist eine von Niklaus Wirth und Jürg Gutknecht entwickelte, objektorientierte, streng strukturierte Programmiersprache.

Neu!!: Starke Typisierung und Oberon (Programmiersprache) · Mehr sehen »

Object Pascal

Object Pascal ist eine Sammelbezeichnung für mehrere teilweise miteinander kompatible Programmiersprachen-Derivate, die Pascal um objektorientierte Programmierung erweitern.

Neu!!: Starke Typisierung und Object Pascal · Mehr sehen »

Objective CAML

OCaml ist eine auf der ML-Sprachfamilie basierende Programmiersprache.

Neu!!: Starke Typisierung und Objective CAML · Mehr sehen »

Objektorientierung

Unter Objektorientierung (kurz OO) versteht man in der Entwicklung von Software eine Sichtweise auf komplexe Systeme, bei der ein System durch das Zusammenspiel kooperierender Objekte beschrieben wird.

Neu!!: Starke Typisierung und Objektorientierung · Mehr sehen »

Pascal (Programmiersprache)

Niklaus Wirth (2009), der Entwickler von Pascal Pascal ist eine Anfang der 1970er Jahre entwickelte imperative Programmiersprache.

Neu!!: Starke Typisierung und Pascal (Programmiersprache) · Mehr sehen »

Perl (Programmiersprache)

Perl ist eine freie, plattformunabhängige und interpretierte Programmiersprache, die mehrere Paradigmen unterstützt.

Neu!!: Starke Typisierung und Perl (Programmiersprache) · Mehr sehen »

PHP

PHP (rekursives Akronym und Backronym für „PHP: '''H'''ypertext '''P'''reprocessor“, ursprünglich „Personal '''H'''ome '''P'''age Tools“) ist eine Skriptsprache mit einer an C und Perl angelehnten Syntax, die hauptsächlich zur Erstellung dynamischer Webseiten oder Webanwendungen verwendet wird.

Neu!!: Starke Typisierung und PHP · Mehr sehen »

Polymorphie (Programmierung)

Polymorphie oder Polymorphismus (für Vielgestaltigkeit) ist ein Konzept in der objektorientierten Programmierung, das ermöglicht, dass ein Bezeichner abhängig von seiner Verwendung Objekte unterschiedlichen Datentyps annimmt.

Neu!!: Starke Typisierung und Polymorphie (Programmierung) · Mehr sehen »

Programmiersprache

Quelltext eines Programms in der Programmiersprache C++. Scratch. Eine Programmiersprache ist eine formale Sprache zur Formulierung von Datenstrukturen und Algorithmen, d. h.

Neu!!: Starke Typisierung und Programmiersprache · Mehr sehen »

Ruby (Programmiersprache)

Ruby (englisch für Rubin) ist eine höhere Programmiersprache, die Mitte der 1990er Jahre vom Japaner Yukihiro Matsumoto entworfen wurde.

Neu!!: Starke Typisierung und Ruby (Programmiersprache) · Mehr sehen »

Rust (Programmiersprache)

Rust ist eine Multiparadigmen-Systemprogrammiersprache, die von der Open-Source-Community entwickelt wurde und unter anderem von Mozilla Research gesponsert wird.

Neu!!: Starke Typisierung und Rust (Programmiersprache) · Mehr sehen »

Statische Typisierung

Statische Typisierung bezeichnet ein Schema der Typisierung von Programmiersprachen.

Neu!!: Starke Typisierung und Statische Typisierung · Mehr sehen »

Tcl

Tcl (Aussprache oder auch als Abkürzung für Tool command language) ist eine Open-Source-Skriptsprache.

Neu!!: Starke Typisierung und Tcl · Mehr sehen »

Typinferenz

Durch Typinferenz (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.

Neu!!: Starke Typisierung und Typinferenz · Mehr sehen »

Typisierung (Informatik)

Eine Typisierung dient in der Informatik dazu, dass die Objekte (hier Objekte im mathematisch-abstrakten Sinne verstanden) der Programmiersprachen, wie z. B.

Neu!!: Starke Typisierung und Typisierung (Informatik) · Mehr sehen »

Typumwandlung

Als Typumwandlung (oder type casting, kurz cast) wird in der Informatik die Umwandlung eines Datums von einem Datentyp in einen anderen bezeichnet.

Neu!!: Starke Typisierung und Typumwandlung · Mehr sehen »

Typverletzung

Eine Typverletzung (engl. type conflict) liegt bei der Programmierung vor, wenn Datentypen nicht regelgemäß verwendet werden.

Neu!!: Starke Typisierung und Typverletzung · Mehr sehen »

Vererbung (Programmierung)

Operationen a und b). Die Vererbung ist eines der grundlegenden Konzepte der Objektorientierung und hat große Bedeutung in der Softwareentwicklung.

Neu!!: Starke Typisierung und Vererbung (Programmierung) · Mehr sehen »

Visual Basic .NET

Visual Basic.NET (Abk. VB.NET) ist eine Programmiersprache von Microsoft, die auf dem.NET Framework aufbaut.

Neu!!: Starke Typisierung und Visual Basic .NET · Mehr sehen »

Visual Basic Classic

Visual Basic (Abk. VB), retronym Visual Basic Classic (VBC), ist eine proprietäre objektorientierte Programmiersprache.

Neu!!: Starke Typisierung und Visual Basic Classic · Mehr sehen »

Void (Schlüsselwort)

Das Schlüsselwort void (für nichtig, ungültig, leer) wird in einigen Programmiersprachen anstelle eines Datentyps benutzt, um anzugeben, dass keine Daten übergeben werden oder der Typ der Daten nicht angegeben ist.

Neu!!: Starke Typisierung und Void (Schlüsselwort) · Mehr sehen »

Zeiger (Informatik)

Wort. Video-Tutorial über Zeiger, Dereferenzierung, Felder und Zeigerarithmetik sowie deren Funktionsweise im Arbeitsspeicher am Beispiel der Programmiersprache C Mit Zeiger wird in der Informatik ein Objekt einer Programmiersprache bezeichnet, das eine Speicheradresse zwischenspeichert.

Neu!!: Starke Typisierung und Zeiger (Informatik) · Mehr sehen »

Zuweisung

Unter einer Zuweisung (englisch assignment) versteht man in einer imperativen Programmiersprache einen Typ von Anweisung (englisch statement), durch den eine Variable einen neuen Wert erhält.

Neu!!: Starke Typisierung und Zuweisung · Mehr sehen »

Zuweisungskompatibilität

Zuweisungskompatibilität liegt bei in Programmiersprachen formulierten Anweisungen vor, wenn Ausdrücke und Variablen aufgrund kompatibler Datentypen einander zugewiesen, miteinander verglichen oder miteinander verknüpft werden können.

Neu!!: Starke Typisierung und Zuweisungskompatibilität · Mehr sehen »

Leitet hier um:

Strenge Typisierung, Strong typing.

AusgehendeEingehende
Hallo! Wir sind auf Facebook! »