Functional languages

Curl ist eine reflexive, objektorientierte Programmiersprache für interaktive Webanwendungen , die einen reibungsloseren Übergang zwischen Inhaltsformatierung und Programmierung ermöglichen soll .

Elixir ist eine funktionale , nebenläufige , universelle Hochsprache , die auf der BEAM -VM läuft , welche auch zur Implementierung der Programmiersprache Erlang verwendet wird.

Elm ist eine domänenspezifische Programmiersprache zur deklarativen Erstellung webbrowserbasierter grafischer Benutzeroberflächen .

Erlang ( / ˈ ɜːr l æ ŋ / UR -lang ) ist eine universelle , nebenläufige , funktionale Hochsprache mit einem Laufzeitsystem mit automatischer Speicherbereinigung .

Concurrent ML (CML) ist eine multiparadigmatische , universelle , funktionale Programmiersprache auf hohem Niveau .

Haskell ( / ˈ h æ sk əl / ) ist eine universelle , statisch typisierte , rein funktionale Programmiersprache mit Typinferenz und verzögerter Auswertung .

Haxe ist eine plattformübergreifende Programmiersprache und ein Compiler auf hohem Niveau , der aus einer einzigen Codebasis Anwendungen und Quellcode für viele verschiedene Computerplattformen erzeugen kann.

Idris ist eine rein funktionale Programmiersprache mit abhängigen Typen , Mengenannotationen , optionaler verzögerter Auswertung und Funktionen wie einem Totalitätsprüfer .

JavaScript ( JS ) ist eine Programmiersprache und neben HTML und CSS eine Kerntechnologie des Webs . Sie wurde 1995 von Brendan Eich entwickelt und wird vom technischen Komitee TC39 von Ecma International betreut.

Maple ist eine Umgebung für symbolisches und numerisches Rechnen sowie eine Programmiersprache mit mehreren Paradigmen .

Miranda ist eine träge , rein funktionale Programmiersprache, die von David Turner als Nachfolger seiner früheren Programmiersprachen SASL und KRC entwickelt wurde und einige Konzepte von ML und Hope aufgreift.

OBJ ist eine Programmiersprachenfamilie, die 1976 von Joseph Goguen eingeführt und von Jose Meseguer weiterentwickelt wurde .

OCaml ( / oʊˈkæməl / oh - KAM - əl , ehemals Objective Caml ) ist eine universelle , höhere Programmiersprache mit mehreren Programmierparadigmen , die den Caml - Dialekt des maschinellen Lernens um objektorientierte

R ist eine Programmiersprache für statistische Berechnungen und Datenvisualisierung . Sie findet breite Anwendung in den Bereichen Data Mining , Bioinformatik , Datenanalyse und Data Science .

Reason , auch bekannt als ReasonML , ist eine Programmiersprache und Toolchain , die Teil des OCaml -Ökosystems ist.

Rebol ( / ˈ r ɛ b əl / REB -əl ; historisch REBOL ) ist eine plattformübergreifende Datenaustauschsprache und eine dynamische Programmiersprache mit mehreren Paradigmen, die von Carl Sassenrath für Netzwerkkommunikation

Rust ist eine universelle Programmiersprache , die Wert auf Leistung , Typsicherheit , Parallelverarbeitung und Speichersicherheit legt .

Scala ( / ˈ sk ɑː l ɑː / SKAH -lah ) ist eine stark statisch typisierte, universelle Hochsprache , die sowohl objektorientierte als auch funktionale Programmierung unterstützt .

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

SISAL ( Streams and Iteration in a Single Assignment Language ) ist eine universelle funktionale Programmiersprache mit einfacher Zuweisung , strikter Semantik , implizitem Parallelismus und effizienter Array

Standard ML ( SML ) ist eine universelle , modulare , funktionale Programmiersprache höherer Ebene mit Typüberprüfung und Typinferenz zur Kompilierzeit .

Unlambda ist eine minimale, nahezu reine funktionale Programmiersprache , die von David Madore entwickelt wurde. Sie basiert auf kombinatorischer Logik , einem Ausdruckssystem ohne Lambda-Operator oder freie Variablen.

Ur , auch Ur/Web genannt , ist eine multiparadigmatische , funktionale Programmiersprache auf hohem Niveau .

V , auch bekannt als vlang , ist eine statisch typisierte , kompilierte Programmiersprache in der Entwicklung, die Anfang 2019 von Alexander Medvednikov entwickelt wurde.

Die Tabelle zeigt einen Vergleich funktionaler Programmiersprachen , in dem verschiedene Merkmale und Designs unterschiedlicher funktionaler Programmiersprachen gegenübergestellt werden .