12 Beziehungen: C (Programmiersprache), Deklarative Programmierung, Der Sturm (Shakespeare), Funktionale Programmierung, Haskell (Programmiersprache), Interpreter, ML (Programmiersprache), Programmiersprache, Starke Typisierung, Statische Typisierung, Unix, 1985.
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!!: Miranda (Programmiersprache) und C (Programmiersprache) · Mehr sehen »
Deklarative Programmierung
Die deklarative Programmierung ist ein Programmierparadigma, bei dem die Beschreibung des Problems im Vordergrund steht.
Neu!!: Miranda (Programmiersprache) und Deklarative Programmierung · Mehr sehen »
Der Sturm (Shakespeare)
Szene mit Miranda und Ferdinand aus ''Der Sturm''; Gemälde 1782 Der Sturm (engl. The Tempest) ist ein Schauspiel von William Shakespeare.
Neu!!: Miranda (Programmiersprache) und Der Sturm (Shakespeare) · Mehr sehen »
Funktionale Programmierung
Funktionale Programmierung ist ein Programmierparadigma, in dem Funktionen nicht nur definiert und angewendet werden können, sondern auch wie Daten miteinander verknüpft, als Parameter verwendet und als Funktionsergebnisse auftreten können.
Neu!!: Miranda (Programmiersprache) und Funktionale 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!!: Miranda (Programmiersprache) und Haskell (Programmiersprache) · Mehr sehen »
Interpreter
Als Interpreter wird ein Computerprogramm bezeichnet, das eine Abfolge von Anweisungen anscheinend direkt ausführt, wobei das Format der Anweisungen vorgegeben ist.
Neu!!: Miranda (Programmiersprache) und Interpreter · Mehr sehen »
ML (Programmiersprache)
Meta Language (ML) beschreibt eine Familie funktionaler Programmiersprachen mit statischer Typisierung, Polymorphie, automatischer Speicherbereinigung und im Allgemeinen strenger Auswertung.
Neu!!: Miranda (Programmiersprache) und ML (Programmiersprache) · 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!!: Miranda (Programmiersprache) und 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!!: Miranda (Programmiersprache) und Starke Typisierung · Mehr sehen »
Statische Typisierung
Statische Typisierung bezeichnet ein Schema der Typisierung von Programmiersprachen.
Neu!!: Miranda (Programmiersprache) und Statische Typisierung · Mehr sehen »
Unix
Unix-Befehls ls -l Unix ist ein Mehrbenutzer-Betriebssystem für Computer.
Neu!!: Miranda (Programmiersprache) und Unix · Mehr sehen »
1985
Keine Beschreibung.