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

Funktionale Programmierung

Index 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.

65 Beziehungen: Algebraische Programmiersprache, Algorithmus, Alonzo Church, Auswertung (Informatik), C (Programmiersprache), Clean (Programmiersprache), Clojure, Common Lisp, Compiler, Datenstruktur, Dynamische Typisierung, Elixir (Programmiersprache), Entscheidbar, Erlang (Programmiersprache), Esoterische Programmiersprache, Eval, F-Sharp, Fakultät (Mathematik), Functional Programming System, Funktion (Programmierung), Funktionale Programmierung, Gruppe (Mathematik), Haskell (Programmiersprache), Henry Ford II, Imperative Programmierung, Informatik Aktuell (Magazin), International Conference on Functional Programming Contest, Isomorphismus, Java (Programmiersprache), John McCarthy, Joy (Programmiersprache), Julia (Programmiersprache), Kategorientheorie, Konfluenz (Informatik), Kotlin (Programmiersprache), Lambda-Kalkül, Lisp, Matlab, Mercury (Programmiersprache), ML (Programmiersprache), Monade (Informatik), Object Pascal, Objective CAML, Parallele Programmierung, Partielle Funktion, Polymorphie (Programmierung), Programmierparadigma, Programmiersprache, Pseudocode, Python (Programmiersprache), ..., Radius, Rekursion, Scala (Programmiersprache), Scheme, Sortierung, Standard ML, Statische Typisierung, Swift (Programmiersprache), Typinferenz, Typinferenz nach Hindley-Milner, Typisierung (Informatik), Umgekehrte polnische Notation, Universität Passau, Wirkung (Informatik), XSL Transformation. Erweitern Sie Index (15 mehr) »

Algebraische Programmiersprache

Eine algebraische Programmiersprache erfüllt die Eigenschaften der referenziellen Transparenz.

Neu!!: Funktionale Programmierung und Algebraische Programmiersprache · Mehr sehen »

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!!: Funktionale Programmierung und Algorithmus · Mehr sehen »

Alonzo Church

Alonzo Church (* 14. Juni 1903 in Washington, D.C.; † 11. August 1995 in Hudson, Ohio) war ein US-amerikanischer Mathematiker, Logiker und Philosoph und einer der Begründer der theoretischen Informatik.

Neu!!: Funktionale Programmierung und Alonzo Church · 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!!: Funktionale Programmierung und Auswertung (Informatik) · 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!!: Funktionale Programmierung und C (Programmiersprache) · Mehr sehen »

Clean (Programmiersprache)

Clean ist eine funktionale Programmiersprache.

Neu!!: Funktionale Programmierung und Clean (Programmiersprache) · Mehr sehen »

Clojure

Clojure ist ein moderner Lisp-Dialekt, der interaktive Entwicklung unterstützt.

Neu!!: Funktionale Programmierung und Clojure · Mehr sehen »

Common Lisp

Common Lisp (oft abgekürzt mit CL) ist eine Multiparadigmen-Programmiersprache innerhalb der Sprachfamilie Lisp.

Neu!!: Funktionale Programmierung und Common Lisp · 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!!: Funktionale Programmierung und Compiler · Mehr sehen »

Datenstruktur

thumb In der Informatik und Softwaretechnik ist eine Datenstruktur ein Objekt, welches zur Speicherung und Organisation von Daten dient.

Neu!!: Funktionale Programmierung und Datenstruktur · 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!!: Funktionale Programmierung und Dynamische Typisierung · Mehr sehen »

Elixir (Programmiersprache)

Elixir ist eine funktionale, nebenläufige Allzweck-Programmiersprache, die auf der virtuellen Maschine von Erlang (BEAM) läuft.

Neu!!: Funktionale Programmierung und Elixir (Programmiersprache) · Mehr sehen »

Entscheidbar

In der theoretischen Informatik heißt eine Eigenschaft auf einer Menge entscheidbar (auch rekursiv, rekursiv ableitbar), wenn es ein Entscheidungsverfahren für sie gibt.

Neu!!: Funktionale Programmierung und Entscheidbar · Mehr sehen »

Erlang (Programmiersprache)

Softwarepaket LAMP dar. Erlang ist eine Programmiersprache, die bei Ericsson von Joe Armstrong und anderen entwickelt wurde.

Neu!!: Funktionale Programmierung und Erlang (Programmiersprache) · Mehr sehen »

Esoterische Programmiersprache

Esoterische Programmiersprachen sind Programmiersprachen, die nicht für den praktischen Einsatz entwickelt wurden, sondern um ungewöhnliche Sprachkonzepte umzusetzen.

Neu!!: Funktionale Programmierung und Esoterische Programmiersprache · Mehr sehen »

Eval

Eval ist eine besondere Funktion zur Metaprogrammierung, mit der ein Interpreter (oder das Paar Compiler/Laufzeitsystem) angewiesen wird, ein in der Programmiersprache selbst geschriebenes Codefragment, das als Datenobjekt vorliegt, auszuwerten und das Ergebnis der Berechnung zurückzuliefern.

Neu!!: Funktionale Programmierung und Eval · 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!!: Funktionale Programmierung 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!!: Funktionale Programmierung und Fakultät (Mathematik) · Mehr sehen »

Functional Programming System

Der Begriff Functional Programming System (abgekürzt FP-System) bezeichnet ein von John W. Backus entwickeltes Konzept funktionaler Programmiersprachen.

Neu!!: Funktionale Programmierung und Functional Programming System · 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!!: Funktionale Programmierung und Funktion (Programmierung) · 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!!: Funktionale Programmierung und Funktionale Programmierung · Mehr sehen »

Gruppe (Mathematik)

Die Drehungen eines Zauberwürfels bilden eine Gruppe. In der Mathematik ist eine Gruppe eine Menge von Elementen zusammen mit einer Verknüpfung, die je zwei Elementen der Menge ein drittes Element derselben Menge zuordnet und dabei drei Bedingungen, die Gruppenaxiome, erfüllt: das Assoziativgesetz, die Existenz eines neutralen Elements und die Existenz von inversen Elementen.

Neu!!: Funktionale Programmierung und Gruppe (Mathematik) · 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!!: Funktionale Programmierung und Haskell (Programmiersprache) · Mehr sehen »

Henry Ford II

Henry Ford II, 1963 Henry Ford II (* 4. September 1917 in Detroit; † 29. September 1987 ebenda), Sohn von Edsel Ford und Enkel von Henry Ford, war der Präsident der Ford Motor Company von 1945 bis 1960.

Neu!!: Funktionale Programmierung und Henry Ford II · 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!!: Funktionale Programmierung und Imperative Programmierung · Mehr sehen »

Informatik Aktuell (Magazin)

Die Informatik Aktuell ist eine deutschsprachige, wissenschaftliche Fachzeitschrift mit dem Schwerpunkt Informatik.

Neu!!: Funktionale Programmierung und Informatik Aktuell (Magazin) · 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!!: Funktionale Programmierung und International Conference on Functional Programming Contest · Mehr sehen »

Isomorphismus

In der Mathematik ist ein Isomorphismus (von altgriechisch ἴσος (ísos) – „gleich“ und μορφή (morphḗ) – „Form“, „Gestalt“) eine Abbildung zwischen zwei mathematischen Strukturen, durch die Teile einer Struktur auf bedeutungsgleiche Teile einer anderen Struktur umkehrbar eindeutig (bijektiv) abgebildet werden.

Neu!!: Funktionale Programmierung und Isomorphismus · Mehr sehen »

Java (Programmiersprache)

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

Neu!!: Funktionale Programmierung und Java (Programmiersprache) · Mehr sehen »

John McCarthy

John McCarthy (2006) John McCarthy (* 4. September 1927 in Boston, Massachusetts; † 23. Oktober 2011 in Palo Alto, Kalifornien) war ein US-amerikanischer Logiker, Informatiker und Autor.

Neu!!: Funktionale Programmierung und John McCarthy · Mehr sehen »

Joy (Programmiersprache)

Joy ist eine funktionale Programmiersprache, in der konsequent die umgekehrte polnische Notation verwendet wird.

Neu!!: Funktionale Programmierung und Joy (Programmiersprache) · Mehr sehen »

Julia (Programmiersprache)

Julia ist eine höhere Programmiersprache, die vor allem für numerisches und wissenschaftliches Rechnen entwickelt wurde und auch als Allzweck-Programmiersprache verwendet werden kann, bei gleichzeitiger Wahrung einer hohen Ausführungsgeschwindigkeit.

Neu!!: Funktionale Programmierung und Julia (Programmiersprache) · Mehr sehen »

Kategorientheorie

Die Kategorientheorie oder die kategorielle Algebra ist ein Zweig der Mathematik, der Anfang der 1940er Jahre zuerst im Rahmen der Topologie entwickelt wurde; Saunders MacLane nennt seine 1945 in Zusammenarbeit mit Samuel Eilenberg entstandene „General Theory of Natural Equivalences“ (in Trans. Amer. Math. Soc. 58, 1945) die erste explizit kategorientheoretische Arbeit.

Neu!!: Funktionale Programmierung und Kategorientheorie · Mehr sehen »

Konfluenz (Informatik)

Konfluenz in einem Termersetzungssystem Konfluenz ist ein Begriff aus der Theoretischen Informatik und bezeichnet die Eigenschaft eines Transitionssystems, jedem Element höchstens eine Normalform zuzuordnen.

Neu!!: Funktionale Programmierung und Konfluenz (Informatik) · 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!!: Funktionale Programmierung und Kotlin (Programmiersprache) · Mehr sehen »

Lambda-Kalkül

griechischen Alphabets, benutzt. Der Lambda-Kalkül ist eine formale Sprache zur Untersuchung von Funktionen.

Neu!!: Funktionale Programmierung und Lambda-Kalkül · 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!!: Funktionale Programmierung und Lisp · Mehr sehen »

Matlab

Matlab (Eigenschreibweise: MATLAB) ist eine kommerzielle Software des US-amerikanischen Unternehmens MathWorks zur Lösung mathematischer Probleme und zur grafischen Darstellung der Ergebnisse.

Neu!!: Funktionale Programmierung und Matlab · Mehr sehen »

Mercury (Programmiersprache)

Mercury ist eine stark an Prolog angelehnte Programmiersprache.

Neu!!: Funktionale Programmierung und Mercury (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!!: Funktionale Programmierung und ML (Programmiersprache) · Mehr sehen »

Monade (Informatik)

In der funktionalen Programmierung sind Monaden ein abstrakter Datentyp.

Neu!!: Funktionale Programmierung und Monade (Informatik) · Mehr sehen »

Object Pascal

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

Neu!!: Funktionale Programmierung und Object Pascal · Mehr sehen »

Objective CAML

OCaml ist eine auf der ML-Sprachfamilie basierende Programmiersprache.

Neu!!: Funktionale Programmierung und Objective CAML · Mehr sehen »

Parallele Programmierung

Parallele Programmierung ist ein Programmierparadigma.

Neu!!: Funktionale Programmierung und Parallele Programmierung · Mehr sehen »

Partielle Funktion

Eine partielle Funktion von der Menge X nach der Menge Y ist eine binäre, rechtseindeutige Relation, das heißt eine Relation, in der jedem Element der Menge X höchstens ein Element der Menge Y zugeordnet wird.

Neu!!: Funktionale Programmierung und Partielle Funktion · 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!!: Funktionale Programmierung und Polymorphie (Programmierung) · Mehr sehen »

Programmierparadigma

Ein Programmierparadigma ist ein fundamentaler Programmierstil.

Neu!!: Funktionale Programmierung und Programmierparadigma · 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!!: Funktionale Programmierung und Programmiersprache · Mehr sehen »

Pseudocode

Der Pseudocode ist ein Programmcode, der nicht zur maschinellen Interpretation, sondern lediglich zur Veranschaulichung eines Paradigmas oder Algorithmus dient.

Neu!!: Funktionale Programmierung und Pseudocode · Mehr sehen »

Python (Programmiersprache)

Python (auf Deutsch auch) ist eine universelle, üblicherweise interpretierte, höhere Programmiersprache.

Neu!!: Funktionale Programmierung und Python (Programmiersprache) · Mehr sehen »

Radius

Als Radius (aus, wörtlich „Stab“, „Speiche“ oder „Strahl“) oder auch Halbmesser wird in der Geometrie der Abstand zwischen dem Mittelpunkt M eines Kreises und der Kreislinie bezeichnet.

Neu!!: Funktionale Programmierung und Radius · Mehr sehen »

Rekursion

Unendlichfache Spiegelung als Beispiel für '''Rekursion''': Die Person sitzt mit vorgehaltenem Spiegel einem größeren Wandspiegel gegenüber. Das jeweils folgende Spiegelbild enthält sich selbst als Teil. Als Rekursion wird ein prinzipiell unendlicher Vorgang, der sich selbst als Teil enthält oder mithilfe von sich selbst definierbar ist, bezeichnet.

Neu!!: Funktionale Programmierung und Rekursion · Mehr sehen »

Scala (Programmiersprache)

Scala ist eine funktionale und objektorientierte Programmiersprache.

Neu!!: Funktionale Programmierung und Scala (Programmiersprache) · Mehr sehen »

Scheme

Die Programmiersprache Scheme ist eine Lisp-Variante.

Neu!!: Funktionale Programmierung und Scheme · Mehr sehen »

Sortierung

Sortierung ist in Technik, Verwaltung und Wirtschaft ein Organisationsmittel, das die Tätigkeit oder das Ergebnis der Einordnung von Gegenständen, Werten oder Worten nach einem bestimmten System beschreibt.

Neu!!: Funktionale Programmierung und Sortierung · Mehr sehen »

Standard ML

Standard ML (SML) ist eine von ML abstammende funktionale Programmiersprache mit einigen imperativen Merkmalen (zum Beispiel im Bereich File IO).

Neu!!: Funktionale Programmierung und Standard ML · Mehr sehen »

Statische Typisierung

Statische Typisierung bezeichnet ein Schema der Typisierung von Programmiersprachen.

Neu!!: Funktionale Programmierung 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!!: Funktionale Programmierung und Swift (Programmiersprache) · 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!!: Funktionale Programmierung und Typinferenz · Mehr sehen »

Typinferenz nach Hindley-Milner

Hindley-Milner (HM) ist ein Verfahren der Typinferenz mit parametrischem Polymorphismus für den Lambda-Kalkül.

Neu!!: Funktionale Programmierung und Typinferenz nach Hindley-Milner · 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!!: Funktionale Programmierung und Typisierung (Informatik) · Mehr sehen »

Umgekehrte polnische Notation

Programmierbarer Taschen­rechner HP-41CX aus den 1980er Jahren mit überbreiter Enter-Taste Die umgekehrte polnische Notation (UPN) oder reverse polnische Notation (kurz RPN), auch Postfixnotation genannt, ist eine von der polnischen Notation abgeleitete Schreibweise bzw.

Neu!!: Funktionale Programmierung und Umgekehrte polnische Notation · Mehr sehen »

Universität Passau

Die Universität Passau (UP) ist die einzige Universität im Regierungsbezirk Niederbayern mit Sitz in Passau.

Neu!!: Funktionale Programmierung und Universität Passau · 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!!: Funktionale Programmierung und Wirkung (Informatik) · Mehr sehen »

XSL Transformation

XSL Transformation, kurz XSLT, ist eine Programmiersprache zur Transformation von XML-Dokumenten.

Neu!!: Funktionale Programmierung und XSL Transformation · Mehr sehen »

Leitet hier um:

Bedarfsauswertung, Funktionale Programmiersprache, Funktionale Programmiersprachen, Funktionales Programmieren, Rein funktionale Programmierung.

AusgehendeEingehende
Hallo! Wir sind auf Facebook! »