90 Beziehungen: Algorithmus, APL (Programmiersprache), Attributgrammatik, Aufzählungstyp, Auswertung (Informatik), Überladen, Bezeichner, Binärbaum, C (Programmiersprache), C++, C-Sharp, Cache, Case sensitivity, Char (Datentyp), Clean (Programmiersprache), Compiler, Curry (Programmiersprache), Currying, Datentyp, Deklarative Programmierung, Eingabe und Ausgabe, Einheitstyp, Einrückungsstil, Endrekursion, Explizites Euler-Verfahren, Extensible Markup Language, F-Sharp, Fakultät (Mathematik), Fibonacci-Folge, Fixpunkt (Mathematik), Funktion (Programmierung), Funktion höherer Ordnung, Funktionale Programmierung, Ganze Zahl, Glasgow Haskell Compiler, Gleitkommazahl, Gofer, Haskell Brooks Curry, Imperative Programmierung, In-Place-Algorithmus, Infixnotation, International Conference on Functional Programming Contest, Java (Programmiersprache), JavaScript, Kommentar (Programmierung), Lambda-Kalkül, Leerzeichen, Lisp, Liste (Datenstruktur), Maschinensprache, ..., Menge (Mathematik), Miranda (Programmiersprache), ML (Programmiersprache), Modul (Software), Monade (Informatik), Open Source, Parallele Programmierung, Parameter (Informatik), Pattern Matching, Paul Hudak, Perl (Programmiersprache), PHP, Plattformunabhängigkeit, Polnische Notation, Pugs, Python (Programmiersprache), Quicksort, Reihe (Mathematik), Rust (Programmiersprache), Scala (Programmiersprache), Simon Peyton Jones, Smart Contract, Standard-Datenströme, Starke Typisierung, Statische Typisierung, Swift (Programmiersprache), Syntaktischer Zucker, Term, Tupel, Typinferenz, Typklasse (Informatik), Universität Utrecht, Vollständige Induktion, Wahrheitswert, Wirkung (Informatik), Worst Case, Zeilenumbruch, Zeitkomplexität, Zufallszahlengenerator, 1990. Erweitern Sie Index (40 mehr) »
Algorithmus
sowjetischen Briefmarke anlässlich seines 1200-jährigen Geburtsjubiläums Ein Algorithmus (benannt nach al-Chwarizmi, von arabisch: Choresmier) ist eine eindeutige Handlungsvorschrift zur Lösung eines Problems oder einer Klasse von Problemen.
Neu!!: Haskell (Programmiersprache) und Algorithmus · Mehr sehen »
APL (Programmiersprache)
APL (A Programming Language) ist eine üblicherweise interpretierte Programmiersprache, deren Syntax überwiegend aus Symbolen besteht.
Neu!!: Haskell (Programmiersprache) und APL (Programmiersprache) · Mehr sehen »
Attributgrammatik
Eine Attributgrammatik ist eine kontextfreie Grammatik, die um Attribute sowie Regeln und Bedingungen erweitert ist.
Neu!!: Haskell (Programmiersprache) und Attributgrammatik · Mehr sehen »
Aufzählungstyp
Ein Aufzählungstyp ist ein Datentyp für Variablen mit einer endlichen Wertemenge.
Neu!!: Haskell (Programmiersprache) und Aufzählungstyp · Mehr sehen »
Auswertung (Informatik)
Auswertung (engl. evaluation als Beschreibung, Analyse und Bewertung) bezeichnet in der Informatik den Vorgang, der einem Ausdruck (eventuell in einem gegebenen Kontext von Variablenbindungen) einen Wert zuordnet.
Neu!!: Haskell (Programmiersprache) und Auswertung (Informatik) · Mehr sehen »
Überladen
Überladen (von) bedeutet in der Softwareentwicklung das bewusste Etablieren von Polymorphien, sodass ein und dasselbe Sprachelement – Operatoren, Konstruktoren, Literale und dergleichen – unterschiedliche, aus dem Kontext hervorgehende Bedeutungen annehmen können.
Neu!!: Haskell (Programmiersprache) und Überladen · Mehr sehen »
Bezeichner
Ein Bezeichner (selten auch Identifikator) ist in der Informatik ein Identifikator, mit dem ein Programmierer in einem Programm einzelne Dinge, wie beispielsweise einen Datentyp, eine Variable, eine Sprungmarke oder eine Funktion, eindeutig benennt.
Neu!!: Haskell (Programmiersprache) und Bezeichner · Mehr sehen »
Binärbaum
Binärbäume sind in der Informatik die am häufigsten verwendete Unterart der Bäume.
Neu!!: Haskell (Programmiersprache) und Binärbaum · 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!!: Haskell (Programmiersprache) und C (Programmiersprache) · Mehr sehen »
C++
C++ ist eine von der ISO genormte Programmiersprache.
Neu!!: Haskell (Programmiersprache) und C++ · Mehr sehen »
C-Sharp
C# (englisch c sharp) ist eine typsichere objektorientierte Allzweck-Programmiersprache.
Neu!!: Haskell (Programmiersprache) und C-Sharp · Mehr sehen »
Cache
Cache (auch) bezeichnet in der Informationstechnik einen schnellen Pufferspeicher, der (wiederholte) Zugriffe auf vergleichsweise langsame Datenspeicher oder aufwendige Neuberechnungen zu vermeiden hilft.
Neu!!: Haskell (Programmiersprache) und Cache · Mehr sehen »
Case sensitivity
Der englische Ausdruck case sensitivity bezeichnet in der elektronischen Datenverarbeitung allgemein die Art und Weise, wie eine Rechenmaschine oder Programmiersprache die Unterscheidung von Groß- und Kleinschreibung handhabt.
Neu!!: Haskell (Programmiersprache) und Case sensitivity · Mehr sehen »
Char (Datentyp)
Char oder Character (von englisch character, „Zeichen“) ist ein Datentyp (in vielen Programmiersprachen) für Datenbereiche/Felder, deren Elemente jeweils ein Zeichen repräsentieren.
Neu!!: Haskell (Programmiersprache) und Char (Datentyp) · Mehr sehen »
Clean (Programmiersprache)
Clean ist eine funktionale Programmiersprache.
Neu!!: Haskell (Programmiersprache) und Clean (Programmiersprache) · 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!!: Haskell (Programmiersprache) und Compiler · Mehr sehen »
Curry (Programmiersprache)
Curry ist eine experimentelle funktionallogische Programmiersprache, die auf Haskell basiert.
Neu!!: Haskell (Programmiersprache) und Curry (Programmiersprache) · Mehr sehen »
Currying
Currying (vor allem in der Linguistik auch Schönfinkeln) ist die Umwandlung einer Funktion mit mehreren Argumenten in eine Sequenz von Funktionen mit jeweils einem Argument.
Neu!!: Haskell (Programmiersprache) und Currying · 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!!: Haskell (Programmiersprache) und Datentyp · Mehr sehen »
Deklarative Programmierung
Die deklarative Programmierung ist ein Programmierparadigma, bei dem die Beschreibung des Problems im Vordergrund steht.
Neu!!: Haskell (Programmiersprache) und Deklarative Programmierung · Mehr sehen »
Eingabe und Ausgabe
Mit Ein-/Ausgabe (abgekürzt E/A;, kurz I/O) bezeichnet man – als Begriff aus der EDV bzw.
Neu!!: Haskell (Programmiersprache) und Eingabe und Ausgabe · Mehr sehen »
Einheitstyp
Mit Einheitstyp bezeichnet man in der Typtheorie und Informatik denjenigen Typ, der lediglich einen einzigen Wert besitzt.
Neu!!: Haskell (Programmiersprache) und Einheitstyp · Mehr sehen »
Einrückungsstil
Als Einrückungsstil (engl. indent style) wird die Art und Weise bezeichnet, Quelltext von Programmen zur besseren Lesbarkeit einzurücken und umschließende Syntax-Elemente wie geschweifte Klammern zu positionieren.
Neu!!: Haskell (Programmiersprache) und Einrückungsstil · Mehr sehen »
Endrekursion
Eine rekursive Funktion f ist endrekursiv (auch endständig rekursiv, iterativ rekursiv, repetitiv rekursiv), wenn der rekursive Funktionsaufruf die letzte Aktion zur Berechnung von f ist.
Neu!!: Haskell (Programmiersprache) und Endrekursion · Mehr sehen »
Explizites Euler-Verfahren
Das eulersche Polygonzugverfahren oder explizite Euler-Verfahren (auch Euler-Cauchy-Verfahren oder Euler-vorwärts-Verfahren) ist das einfachste Verfahren zur numerischen Lösung eines Anfangswertproblems.
Neu!!: Haskell (Programmiersprache) und Explizites Euler-Verfahren · Mehr sehen »
Extensible Markup Language
Die Extensible Markup Language (dt. Erweiterbare Auszeichnungssprache), abgekürzt XML, ist eine Auszeichnungssprache zur Darstellung hierarchisch strukturierter Daten im Format einer Textdatei, die sowohl von Menschen als auch von Maschinen lesbar ist.
Neu!!: Haskell (Programmiersprache) und Extensible Markup Language · Mehr sehen »
F-Sharp
F# (gelesen: F sharp; englische Aussprache) ist eine typsichere Multi-Paradigmen-Sprache mit starkem Fokus auf funktionale Programmierung für das.Net-Framework.
Neu!!: Haskell (Programmiersprache) und F-Sharp · Mehr sehen »
Fakultät (Mathematik)
Die Fakultät (manchmal, besonders in Österreich, auch Faktorielle genannt) ist in der Mathematik diejenige Funktion, die jeder natürlichen Zahl das Produkt aller positiven natürlichen Zahlen zuordnet, die diese Zahl nicht übertreffen.
Neu!!: Haskell (Programmiersprache) und Fakultät (Mathematik) · Mehr sehen »
Fibonacci-Folge
Fibonacci-Folge der Zahlen 1 bis 8 über dem Tresen eines Museums-Restaurants, dargestellt mittels Leuchtröhren, deren gegenseitiger Abstand fortlaufend größer wird (Foto mit Zahlenachse und Zahlen nachträglich beschriftet) Kachelmuster aus Quadraten, deren Kantenlängen der Fibonacci-Folge entsprechen Goldene Spirale, genähert durch Viertelkreise. Das Verhältnis der Radien der Kreissektoren entspricht der Fibonacci-Folge 1, 1, 2, 3, 5, 8, 13, 21, \ldots Die Fibonacci-Folge ist die unendliche Folge natürlicher Zahlen, die mit zweimal der Zahl 1 beginnt, und bei der jede Zahl die Summe der beiden ihr vorangehenden Zahlen ist.
Neu!!: Haskell (Programmiersprache) und Fibonacci-Folge · Mehr sehen »
Fixpunkt (Mathematik)
Darstellung eines Fixpunktes. Dieser ist – nach den im Text wiedergegebenen Kriterien – ''anziehend'', das heißt ''stabil''. In der Mathematik versteht man unter einem Fixpunkt einen Punkt, der durch eine gegebene Abbildung auf sich abgebildet wird.
Neu!!: Haskell (Programmiersprache) und Fixpunkt (Mathematik) · Mehr sehen »
Funktion (Programmierung)
Eine Funktion ist in der Informatik und in verschiedenen höheren Programmiersprachen die Bezeichnung eines Programmkonstrukts, mit dem der Programm-Quellcode strukturiert werden kann, so dass Teile der Funktionalität des Programms wiederverwendbar sind.
Neu!!: Haskell (Programmiersprache) und Funktion (Programmierung) · Mehr sehen »
Funktion höherer Ordnung
Eine Funktion höherer Ordnung ist in der Informatik eine Funktion, die Funktionen als Argumente erhält und/oder Funktionen als Ergebnis liefert.
Neu!!: Haskell (Programmiersprache) und Funktion höherer Ordnung · 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!!: Haskell (Programmiersprache) und Funktionale Programmierung · Mehr sehen »
Ganze Zahl
natürlichen Zahlen (ℕ). Die ganzen Zahlen (auch Ganzzahlen) sind eine Erweiterung der natürlichen Zahlen.
Neu!!: Haskell (Programmiersprache) und Ganze Zahl · Mehr sehen »
Glasgow Haskell Compiler
Der Glasgow Haskell Compiler, auch The Glorious Glasgow Haskell Compilation System, aber vor allem bekannt als GHC, ist ein quelloffener Compiler für die Programmiersprache Haskell.
Neu!!: Haskell (Programmiersprache) und Glasgow Haskell Compiler · Mehr sehen »
Gleitkommazahl
Exakt darstellbare Gleitkomma­zahlen für verschiedene Mantissen­längen, Basis: 2, Exponent −3 bis 1 Eine Gleitkommazahl – wird in zwei Zusammenhängen benutzt.
Neu!!: Haskell (Programmiersprache) und Gleitkommazahl · Mehr sehen »
Gofer
Gofer ist eine funktionale Programmiersprache, die an Haskell angelehnt ist.
Neu!!: Haskell (Programmiersprache) und Gofer · Mehr sehen »
Haskell Brooks Curry
Haskell Brooks Curry (* 12. September 1900 in Millis, Massachusetts, USA; † 1. September 1982 in State College, Pennsylvania, USA) war ein US-amerikanischer Logiker und Mathematiker.
Neu!!: Haskell (Programmiersprache) und Haskell Brooks Curry · Mehr sehen »
Imperative Programmierung
Imperative Programmierung (‚anordnen‘, ‚befehlen‘) ist ein Programmierparadigma, nach dem „ein Programm aus einer Folge von Anweisungen besteht, die vorgeben, in welcher Reihenfolge was vom Computer getan werden soll“.
Neu!!: Haskell (Programmiersprache) und Imperative Programmierung · Mehr sehen »
In-Place-Algorithmus
Ein Algorithmus arbeitet in-place bzw.
Neu!!: Haskell (Programmiersprache) und In-Place-Algorithmus · Mehr sehen »
Infixnotation
Die Infixnotation ist die allgemein gebräuchliche Form der mathematischen Notation, bei der die Operatoren zwischen die Operanden gesetzt werden.
Neu!!: Haskell (Programmiersprache) und Infixnotation · Mehr sehen »
International Conference on Functional Programming Contest
Der ICFP Contest ist ein Programmierwettbewerb, der jährlich im Umfeld der ICFP-Konferenz ausgerichtet wird.
Neu!!: Haskell (Programmiersprache) und International Conference on Functional Programming Contest · Mehr sehen »
Java (Programmiersprache)
Java ist eine objektorientierte Programmiersprache und eine eingetragene Marke des Unternehmens Sun Microsystems, welches 2010 von Oracle aufgekauft wurde.
Neu!!: Haskell (Programmiersprache) 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!!: Haskell (Programmiersprache) und JavaScript · Mehr sehen »
Kommentar (Programmierung)
Kommentare sind Annotationen innerhalb von Programmiersprachen und Textbeschreibungssprachen.
Neu!!: Haskell (Programmiersprache) und Kommentar (Programmierung) · Mehr sehen »
Lambda-Kalkül
griechischen Alphabets, benutzt. Der Lambda-Kalkül ist eine formale Sprache zur Untersuchung von Funktionen.
Neu!!: Haskell (Programmiersprache) und Lambda-Kalkül · Mehr sehen »
Leerzeichen
Das Leerzeichen (auch Leerstelle, Leerschritt, bes. schweiz. Leerschlag, engl. space, blank) dient der Abgrenzung von Wörtern oder anderen Informationen innerhalb eines Textes.
Neu!!: Haskell (Programmiersprache) und Leerzeichen · Mehr sehen »
Lisp
Lisp ist eine Familie von Programmiersprachen, die 1958 erstmals spezifiziert wurde und am Massachusetts Institute of Technology (MIT) in Anlehnung an den ungetypten Lambda-Kalkül entstand.
Neu!!: Haskell (Programmiersprache) und Lisp · Mehr sehen »
Liste (Datenstruktur)
Eine verkettete Liste ist eine dynamische Datenstruktur, in der Datenelemente geordnet gespeichert sind.
Neu!!: Haskell (Programmiersprache) und Liste (Datenstruktur) · Mehr sehen »
Maschinensprache
Eine Maschinensprache, wie sie bei Maschinencode bzw.
Neu!!: Haskell (Programmiersprache) und Maschinensprache · Mehr sehen »
Menge (Mathematik)
Symbolische Darstellung einer Menge von Vielecken leer. Als Menge wird in der Mathematik ein abstraktes Objekt bezeichnet, das aus der Zusammenfassung einer Anzahl einzelner Objekte hervorgeht.
Neu!!: Haskell (Programmiersprache) und Menge (Mathematik) · Mehr sehen »
Miranda (Programmiersprache)
Miranda ist eine rein funktionale Programmiersprache, die von David Turner basierend auf den von ihm früher entwickelten Programmiersprachen SASL und KRC entwickelt wurde und Konzepte der Programmiersprachen ML und Hope enthält.
Neu!!: Haskell (Programmiersprache) und Miranda (Programmiersprache) · Mehr sehen »
ML (Programmiersprache)
Meta Language (ML) beschreibt eine Familie funktionaler Programmiersprachen mit statischer Typisierung, Polymorphie, automatischer Speicherbereinigung und im Allgemeinen strenger Auswertung.
Neu!!: Haskell (Programmiersprache) und ML (Programmiersprache) · Mehr sehen »
Modul (Software)
Ein Modul (neutrum, das Modul) ist im Software Engineering ein Baustein eines Softwaresystems, der bei der Modularisierung entsteht, eine funktional geschlossene Einheit darstellt und einen bestimmten Dienst bereitstellt.
Neu!!: Haskell (Programmiersprache) und Modul (Software) · Mehr sehen »
Monade (Informatik)
In der funktionalen Programmierung sind Monaden ein abstrakter Datentyp.
Neu!!: Haskell (Programmiersprache) und Monade (Informatik) · Mehr sehen »
Open Source
Logo der Open Source Initiative Als Open Source (aus englisch open source, wörtlich offene Quelle) wird Software bezeichnet, deren Quelltext öffentlich ist und von Dritten eingesehen, geändert und genutzt werden kann.
Neu!!: Haskell (Programmiersprache) und Open Source · Mehr sehen »
Parallele Programmierung
Parallele Programmierung ist ein Programmierparadigma.
Neu!!: Haskell (Programmiersprache) und Parallele Programmierung · Mehr sehen »
Parameter (Informatik)
Parameter – (deutsch) auch Übergabewerte genannt – sind in der Informatik Variablen, durch die ein Computerprogramm (oft ein Unterprogramm) auf die Verarbeitung bestimmter Werte „eingestellt“ werden kann.
Neu!!: Haskell (Programmiersprache) und Parameter (Informatik) · Mehr sehen »
Pattern Matching
Pattern Matching (englisch für Musterabgleich) oder musterbasierte Suche ist ein Begriff für symbolverarbeitende Verfahren, die anhand eines vorgegebenen Musters diskrete Strukturen oder Teilmengen einer diskreten Struktur identifizieren.
Neu!!: Haskell (Programmiersprache) und Pattern Matching · Mehr sehen »
Paul Hudak
Paul Hudak Paul Raymond Hudak (* 15. Juli 1952 in Baltimore, Maryland; † 29. April 2015 in New Haven, Connecticut) war ein amerikanischer Informatikprofessor an der Yale University.
Neu!!: Haskell (Programmiersprache) und Paul Hudak · Mehr sehen »
Perl (Programmiersprache)
Perl ist eine freie, plattformunabhängige und interpretierte Programmiersprache, die mehrere Paradigmen unterstützt.
Neu!!: Haskell (Programmiersprache) 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!!: Haskell (Programmiersprache) und PHP · Mehr sehen »
Plattformunabhängigkeit
Die Plattformunabhängigkeit – genauer als plattformübergreifend (engl. cross-platform) und allgemeiner -portabel – bezeichnet in der Informationstechnik jene Eigenschaft, die ein Computerprogramm auf verschiedenen Computerplattformen ausführbar macht.
Neu!!: Haskell (Programmiersprache) und Plattformunabhängigkeit · Mehr sehen »
Polnische Notation
Polnische Notation (PN), auch Normale Polnische Notation (NPN), Präfixnotation, Łukasiewicz-Notation oder Warschauer Normalform genannt, ist (in der Informatik und mathematischen Logik) eine klammerfreie Schreibweise für Formeln bzw.
Neu!!: Haskell (Programmiersprache) und Polnische Notation · Mehr sehen »
Pugs
Pugs ist ein alternativer Interpreter und Compiler für Perl 6, der in Haskell (GHC) geschrieben wurde.
Neu!!: Haskell (Programmiersprache) und Pugs · Mehr sehen »
Python (Programmiersprache)
Python (auf Deutsch auch) ist eine universelle, üblicherweise interpretierte, höhere Programmiersprache.
Neu!!: Haskell (Programmiersprache) und Python (Programmiersprache) · Mehr sehen »
Quicksort
Eine zufällige Permutation von Integerwerten wird mit Quicksort sortiert. Die blauen Linien zeigen den Wert des rot markierten Pivotelements im jeweiligen Rekursionsschritt. Quicksort (und to sort ‚sortieren‘) ist ein schneller, rekursiver, nicht-stabiler Sortieralgorithmus, der nach dem Prinzip Teile und herrsche arbeitet.
Neu!!: Haskell (Programmiersprache) und Quicksort · Mehr sehen »
Reihe (Mathematik)
Animation der Konvergenz der Reihe \tfrac12 + \tfrac14 + \tfrac18 + \tfrac116 + \tfrac132 + \cdots gegen 1. Mit jedem neuen Summanden wird der „Abstand“ zum Grenzwert halbiert. Eine Reihe, selten Summenfolge oder unendliche Summe und vor allem in älteren Darstellungen auch unendliche Reihe genannt, ist ein Objekt aus dem mathematischen Teilgebiet der Analysis.
Neu!!: Haskell (Programmiersprache) und Reihe (Mathematik) · 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!!: Haskell (Programmiersprache) und Rust (Programmiersprache) · Mehr sehen »
Scala (Programmiersprache)
Scala ist eine funktionale und objektorientierte Programmiersprache.
Neu!!: Haskell (Programmiersprache) und Scala (Programmiersprache) · Mehr sehen »
Simon Peyton Jones
Simon Peyton Jones (2016) Simon Peyton Jones (* 18. Januar 1958 in Südafrika) ist ein britischer Informatiker.
Neu!!: Haskell (Programmiersprache) und Simon Peyton Jones · Mehr sehen »
Smart Contract
Smart Contracts sind Programme, die auf einer Blockchain ausgeführt werden und es ermöglichen benutzerdefinierte Funktionalität auf einer bestehenden Blockchain, die Smart Contracts unterstützt, zu implementieren.
Neu!!: Haskell (Programmiersprache) und Smart Contract · Mehr sehen »
Standard-Datenströme
Die Standard-Datenströme für Eingabe, Ausgabe, und Fehler Die Standard-Datenströme (englisch: standard streams) sind drei Datenströme für die Ein- und Ausgabe im Betriebssystem Unix oder in verwandten Betriebssystemen.
Neu!!: Haskell (Programmiersprache) und Standard-Datenströme · 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!!: Haskell (Programmiersprache) und Starke Typisierung · Mehr sehen »
Statische Typisierung
Statische Typisierung bezeichnet ein Schema der Typisierung von Programmiersprachen.
Neu!!: Haskell (Programmiersprache) und Statische 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!!: Haskell (Programmiersprache) und Swift (Programmiersprache) · Mehr sehen »
Syntaktischer Zucker
Syntaktischer Zucker sind Syntaxerweiterungen in Programmiersprachen, welche der Vereinfachung von Schreibweisen dienen.
Neu!!: Haskell (Programmiersprache) und Syntaktischer Zucker · Mehr sehen »
Term
In der Mathematik ist ein Term eine sinnvolle Kombination aus Zahlen, Variablen, Symbolen für mathematische Verknüpfungen und Klammern.
Neu!!: Haskell (Programmiersprache) und Term · Mehr sehen »
Tupel
Tupel (abgeleitet von mittellateinisch quintuplus ‚fünffach‘, septuplus ‚siebenfach‘, centuplus ‚hundertfach‘ etc.) sind in der Mathematik neben Mengen eine wichtige Art und Weise, mathematische Objekte zusammenzufassen.
Neu!!: Haskell (Programmiersprache) und Tupel · 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!!: Haskell (Programmiersprache) und Typinferenz · Mehr sehen »
Typklasse (Informatik)
Typklassen sind ein Konstrukt der funktionalen Programmierung zur Implementierung von Ad-hoc-Polymorphie.
Neu!!: Haskell (Programmiersprache) und Typklasse (Informatik) · Mehr sehen »
Universität Utrecht
Die Universität Utrecht (niederländisch: Universiteit Utrecht – UU, vormals Rijksuniversiteit Utrecht – RUU) ist die größte Universität in den Niederlanden mit Sitz in Utrecht.
Neu!!: Haskell (Programmiersprache) und Universität Utrecht · Mehr sehen »
Vollständige Induktion
Die vollständige Induktion ist eine mathematische Beweismethode, nach der eine Aussage für alle natürlichen Zahlen bewiesen wird, die größer oder gleich einem bestimmten Startwert sind.
Neu!!: Haskell (Programmiersprache) und Vollständige Induktion · Mehr sehen »
Wahrheitswert
Ein Wahrheitswert ist in Logik und Mathematik ein logischer Wert, den eine Aussage in Bezug auf Wahrheit annehmen kann.
Neu!!: Haskell (Programmiersprache) und Wahrheitswert · Mehr sehen »
Wirkung (Informatik)
In der theoretischen Informatik bezeichnet eine (spezifizierte) Wirkung die Veränderung des Zustands, in dem sich eine abstrakte Maschine befindet.
Neu!!: Haskell (Programmiersprache) und Wirkung (Informatik) · Mehr sehen »
Worst Case
Korean Airlines 801 am 6. August 1997 Worst Case ist der Anglizismus für das schlechteste oder das ungünstigste (anzunehmende) Ereignis, das in der Zukunft in einem bestimmten Fachgebiet eintreten könnte.
Neu!!: Haskell (Programmiersprache) und Worst Case · Mehr sehen »
Zeilenumbruch
Der Begriff Zeilenumbruch stammt aus der elektronischen Textverarbeitung und gibt an, an welcher Stelle ein Text von einer Zeile in die nächste übergehen soll.
Neu!!: Haskell (Programmiersprache) und Zeilenumbruch · Mehr sehen »
Zeitkomplexität
Unter der Zeitkomplexität eines Problems wird in der Informatik die Anzahl der Rechenschritte verstanden, die ein optimaler Algorithmus zur Lösung dieses Problems benötigt, in Abhängigkeit von der Länge der Eingabe.
Neu!!: Haskell (Programmiersprache) und Zeitkomplexität · Mehr sehen »
Zufallszahlengenerator
Als Zufallszahlengenerator, kurz Zufallsgenerator, bezeichnet man ein Verfahren, das eine Folge von Zufallszahlen erzeugt.
Neu!!: Haskell (Programmiersprache) und Zufallszahlengenerator · Mehr sehen »
1990
Das Jahr 1990 ist geprägt von zahlreichen politischen Neuerungen und markiert den Beginn der 1990er Jahre.
Neu!!: Haskell (Programmiersprache) und 1990 · Mehr sehen »