Schneller Zugriff als Browser!
31 Beziehungen: Analyse, C-Sharp, Compiler, D (Programmiersprache), Datentyp, Deklaration (Programmierung), Dynamische Typisierung, Effizienz (Informatik), Eiffel (Programmiersprache), Gambas (Programmiersprache), Haskell (Programmiersprache), Java (Programmiersprache), JavaScript, Kotlin (Programmiersprache), Laufzeit (Informatik), Maschinensprache, ML (Programmiersprache), Objective CAML, Pascal (Programmiersprache), PHP, Programmiersprache, Python (Programmiersprache), Ruby (Programmiersprache), Rust (Programmiersprache), Scala (Programmiersprache), Starke Typisierung, Swift (Programmiersprache), TypeScript, Typinferenz, Typisierung (Informatik), Typumwandlung.
Analyse
Adriaen van Ostade, „Analyse“ (1666) Eine Analyse (von griechisch ἀνάλυσις análysis „Auflösung, Zergliederung“) ist eine systematische Untersuchung, bei der das untersuchte Objekt in seine Bestandteile (Elemente) zerlegt wird.
Neu!!: Statische Typisierung und Analyse · Mehr sehen »
C-Sharp
C# (englisch c sharp) ist eine typsichere objektorientierte Allzweck-Programmiersprache.
Neu!!: Statische Typisierung und C-Sharp · Mehr sehen »
Compiler
Ein Compiler (auch Kompilierer; von ‚zusammentragen‘ bzw. ‚aufhäufen‘) ist ein Computerprogramm, das Quellcodes einer bestimmten Programmiersprache in eine Form übersetzt, die von einem Computer (direkter) ausgeführt werden kann.
Neu!!: Statische Typisierung und Compiler · Mehr sehen »
D (Programmiersprache)
D ist eine seit 1999 von Walter Bright entwickelte Programmiersprache mit objektorientierten, imperativen sowie deklarativen Sprachelementen.
Neu!!: Statische Typisierung und D (Programmiersprache) · Mehr sehen »
Datentyp
Formal bezeichnet ein Datentyp (vom englischen data type) oder eine Datenart in der Informatik die Zusammenfassung von Objektmengen mit den darauf definierten Operationen.
Neu!!: Statische Typisierung und Datentyp · Mehr sehen »
Deklaration (Programmierung)
In der Informatik und Programmierung ist eine Deklaration die Festlegung von Dimension, Bezeichner, Datentyp und weiteren Aspekten einer Variable oder eines Unterprogramms.
Neu!!: Statische Typisierung und Deklaration (Programmierung) · Mehr sehen »
Dynamische Typisierung
Dynamische Typisierung (engl. dynamic typing) bezeichnet ein Schema der Typisierung von Programmiersprachen, bei der Typ-Prüfungen (etwa des Datentyps von Variablen) vorrangig zur Laufzeit eines Programms stattfinden.
Neu!!: Statische Typisierung und Dynamische Typisierung · Mehr sehen »
Effizienz (Informatik)
Die Effizienz eines Algorithmus ist seine Sparsamkeit bezüglich Ressourcen, Rechenzeit und Speicherplatz, die jener zur Lösung eines festgelegten Problems beansprucht.
Neu!!: Statische Typisierung und Effizienz (Informatik) · Mehr sehen »
Eiffel (Programmiersprache)
Eiffel ist eine universelle, rein objektorientierte Programmiersprache und wurde 1985 von dem französischen Informatiker Bertrand Meyer und seiner Firma Interactive Software Engineering Inc. (Goleta, Kalifornien) als Alternative zu C++ entworfen.
Neu!!: Statische Typisierung und Eiffel (Programmiersprache) · Mehr sehen »
Gambas (Programmiersprache)
Gambas (ein rekursives Akronym für Gambas almost means basic) ist eine freie Programmiersprache zur Softwareentwicklung.
Neu!!: Statische Typisierung und Gambas (Programmiersprache) · 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!!: Statische 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!!: Statische Typisierung und Java (Programmiersprache) · Mehr sehen »
JavaScript
JavaScript (kurz JS) ist eine Skriptsprache, die ursprünglich 1995 von Netscape für dynamisches HTML in Webbrowsern entwickelt wurde, um Benutzerinteraktionen auszuwerten, Inhalte zu verändern, nachzuladen oder zu generieren und so die Möglichkeiten von HTML zu erweitern.
Neu!!: Statische Typisierung und JavaScript · Mehr sehen »
Kotlin (Programmiersprache)
Kotlin ist eine plattformübergreifende, statisch typisierte Programmiersprache, die in Bytecode für die Java Virtual Machine (JVM) übersetzt wird, aber auch in JavaScript-Quellcode oder (mittels LLVM) in Maschinencode umgewandelt werden kann.
Neu!!: Statische Typisierung und Kotlin (Programmiersprache) · 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!!: Statische Typisierung und Laufzeit (Informatik) · Mehr sehen »
Maschinensprache
Eine Maschinensprache, wie sie bei Maschinencode bzw.
Neu!!: Statische Typisierung und Maschinensprache · Mehr sehen »
ML (Programmiersprache)
Meta Language (ML) beschreibt eine Familie funktionaler Programmiersprachen mit statischer Typisierung, Polymorphie, automatischer Speicherbereinigung und im Allgemeinen strenger Auswertung.
Neu!!: Statische Typisierung und ML (Programmiersprache) · Mehr sehen »
Objective CAML
OCaml ist eine auf der ML-Sprachfamilie basierende Programmiersprache.
Neu!!: Statische Typisierung und Objective CAML · Mehr sehen »
Pascal (Programmiersprache)
Niklaus Wirth (2009), der Entwickler von Pascal Pascal ist eine Anfang der 1970er Jahre entwickelte imperative Programmiersprache.
Neu!!: Statische Typisierung und Pascal (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!!: Statische Typisierung und PHP · 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!!: Statische Typisierung und Programmiersprache · Mehr sehen »
Python (Programmiersprache)
Python (auf Deutsch auch) ist eine universelle, üblicherweise interpretierte, höhere Programmiersprache.
Neu!!: Statische Typisierung und Python (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!!: Statische 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!!: Statische Typisierung und Rust (Programmiersprache) · Mehr sehen »
Scala (Programmiersprache)
Scala ist eine funktionale und objektorientierte Programmiersprache.
Neu!!: Statische Typisierung und Scala (Programmiersprache) · Mehr sehen »
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.
Neu!!: Statische Typisierung und Starke Typisierung · Mehr sehen »
Swift (Programmiersprache)
Swift ist eine Programmiersprache von Apple Inc. für iOS, iPadOS, macOS, tvOS, watchOS, Linux, Windows, z/OS und Android.
Neu!!: Statische Typisierung und Swift (Programmiersprache) · Mehr sehen »
TypeScript
TypeScript ist eine von Microsoft entwickelte Skriptsprache, die auf den Vorschlägen zum ECMAScript-6-Standard basiert und statische Typisierung zu JavaScript hinzufügt.
Neu!!: Statische Typisierung und TypeScript · 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!!: Statische 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!!: Statische 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!!: Statische Typisierung und Typumwandlung · Mehr sehen »
Leitet hier um:
Static typing, Statisches Typsystem.
