Functional programming

In der Erzähltheorie bezeichnet ein Aktant im Aktantenmodell der semiotischen Erzählanalyse eine Rolle, die eine Figur in einer Erzählung einnehmen kann. Bruno Latour schreibt dazu:

In der Mathematik ist eine initiale Algebra ein initiales Objekt in der Kategorie der F -Algebren für einen gegebenen Endofunktor F. Diese Initialität liefert einen allgemeinen Rahmen für Induktion und Rekursion .

In der Programmierung ist eine anonyme Funktion ( Funktionsliteral , Lambda-Funktion oder Block ) eine Funktionsdefinition , die nicht an einen Bezeichner gebunden ist.

In der Mathematik und Informatik bezeichnet Currying die Technik, eine Funktion, die mehrere Argumente entgegennimmt, in eine Folge von Funktionsfamilien zu übersetzen , von denen jede ein einzelnes Argument

In der Mathematik , insbesondere in der Kategorientheorie , verallgemeinern F - Algebren den Begriff der algebraischen Struktur .

In der funktionalen Programmierung bezeichnet der Continuation-Passing Style ( CPS ) einen Programmierstil, bei dem die Programmsteuerung explizit in Form einer Continuation übergeben wird .

In Mathematik und Informatik ist eine Funktion höherer Ordnung ( HOF ) eine Funktion , die mindestens eine der folgenden Eigenschaften besitzt:

Funktionale Logikprogrammierung ist die Kombination der Paradigmen der funktionalen und logischen Programmierung in einer einzigen Programmiersprache .

Funktional-reaktive Programmierung ( FRP ) ist ein Programmierparadigma für reaktive Programmierung ( asynchrone Datenflussprogrammierung ), das die Bausteine ​​der funktionalen Programmierung (z. B.

In der Informatik ist die Korekursion eine Operation, die dual zur (strukturellen) Rekursion ist .

In der funktionalen Programmierung dienen Monaden dazu , Berechnungen als Abfolge von Schritten zu strukturieren.

In der Informatik spricht man von einem Seiteneffekt bei einer Operation oder einem Ausdruck , wenn dieser neben seinem primären Effekt – dem Lesen der Argumentwerte und der Rückgabe eines Wertes an den Aufrufer – noch

Philip Lee Wadler (* 8. April 1956) ist ein in Großbritannien lebender US- amerikanischer Informatiker, der für seine Beiträge zum Entwurf von Programmiersprachen und zur Typentheorie bekannt ist .

In der Informatik ist eine rein funktionale Datenstruktur eine Datenstruktur , die direkt in einer rein funktionalen Programmiersprache implementiert werden kann .

SequenceL ist eine universelle funktionale Programmiersprache mit integriertem Compiler und Toolset für automatische Parallelisierung ( Parallelrechnen ) .

Ein Superkombinator ist ein vollständig gebundener und in sich abgeschlossener mathematischer Ausdruck . Er kann entweder eine Konstante oder ein Kombinator sein , dessen Teilausdrücke allesamt Superkombinatoren sind.

In der Informatik bezeichnet man als partielle Anwendung (oder partielle Funktionsanwendung ) das Verfahren, bei dem eine bestimmte Anzahl von Argumenten einer Funktion festgelegt wird, um eine Funktion mit geringerer

In der formalen Sprachtheorie und der Programmierung bezeichnet Konkatenation das Aneinanderreihen von Objekten wie Zeichenketten , Dateien , Listen oder Audio- bzw. Videosequenzen .