Als «functional-programming» getaggte Fragen

Funktionale Programmierung ist ein Programmierparadigma, das hauptsächlich Funktionen als Mittel zum Erstellen von Abstraktionen und zum Ausdrücken von Berechnungen verwendet, die ein Computerprogramm umfassen.

2
Was ist das Curry-Howard-Analogon für lineare Logik?
Wie von Wikipedia definiert, (Die Curry-Howard-Korrespondenz) ist eine Verallgemeinerung einer syntaktischen Analogie zwischen formalen Logiksystemen und Rechenkalkülen, die erstmals vom amerikanischen Mathematiker Haskell Curry und dem Logiker William Alvin Howard entdeckt wurde. Damit verbunden ist der λ-Würfel, eine grafische Darstellung der möglichen Verfeinerungsachsen von einfachen Typen bis zur Konstruktionsrechnung, die …
2
Wie ist der Stand der Technik bei der gekapselten Suche in der funktionalen Logikprogrammierung?
Ich bin besonders an Lösungen für das Problem interessiert, dass die gekapselte Suche von der Reihenfolge der Bewertung abhängen kann. Laut [1] hängt die gekapselte Suche in PAKCS von der Reihenfolge der Auswertung ab, während dies in MCC nicht der Fall ist. Die Verwendung erfordert jedoch Kenntnisse über die Compiler-Implementierung …
4
Was bedeutet "Dummy-Argument"?
Was bedeutet es, wenn ein Argument für eine Funktion als Dummy-Argument bezeichnet wird ? Ich bin diesem Begriff außerhalb von Fortran nicht begegnet. Ist er ein allgemeiner Begriff in der Informatik? Was wären Beispiele für Argumente, die als Dummy übergeben und nicht als Dummy übergeben werden? Ich habe diese Definition …
2
Ist funktionale Programmierung nicht nur eine verschleierte imperative Programmierung?
Ein YouTube - Video war ich gerade erklärte die Unterschiede zwischen Imperativen und Funktionale Programmierung durch den Nachweis , wie die Zahlen aus 1zu 10jeweils in Java und in Haskell aufsummiert. In Java müssen Sie jeden Schritt explizit angeben und das Ergebnis jedes Schritts einer Variablen zuweisen - etwa wie …
2
Höherrangiger Polymorphismus ohne explizite Anwendung oder Subtypisierung?
Daher kenne ich zwei Hauptstrategien für einen höherrangigen Polymorphismus in einer Sprache: Polymorphismus im System-F-Stil, bei dem Funktionen explizit typisiert werden und die Instanziierung explizit über die Typanwendung erfolgt. Diese Systeme können beeindruckend sein. Subtypisierungsbasierter Polymorphismus, wobei ein polymorpher Typ ein Subtyp aller seiner Instanziierungen ist. Um eine entscheidbare Subtypisierung …
2
Voll funktionsfähige Programmiersprache ohne statische Typprüfung
Alle Papiere mit dem Thema der vollständigen Funktionsprogrammierung verwenden eine Art statische Typprüfung, um die Gesamtheit sicherzustellen. Dies ist sinnvoll, wenn man bedenkt, dass es leicht ist, eine Sprache Turing-vollständig zu machen. Die Frage ist: Gibt es einen untypisierten / dynamisch typisierten Formalismus, der Gesamtfunktionen sicherstellt? Bearbeiten Mit anderen Worten, …
1
Können wir alles in imperativen Sprachen mit einer funktionalen Sprache tun, wenn dies keinen „Zustand“ zulässt?
Ich las Struktur und Interpretation von Computerprogrammen (SICP), MIT. Was ich verstanden habe ist, dass es in einer rein funktionalen Programmiersprache keinen lokalen Staat gibt. SICP, S. 230 sagt: "Das Programmieren ohne Verwendung von Aufgaben, wie wir es in den letzten beiden Kapiteln dieses Buches getan haben, wird dementsprechend als …
2
Welcher Satz entspricht im Curry-Howard-Isomorphismus, der auf Hindley-Milner-Typen angewendet wird, a -> [a]?
(Verwenden der Haskell-Syntax, da die Frage von Haskell inspiriert ist, sie gilt jedoch für allgemeine polymorphe Hindley-Milner-Systeme wie SML oder Elm.) Wenn ich eine Typensignatur habe f :: a -> [a], wie lautet der logische Satz, der von dieser Typensignatur codiert wird? Ich weiß , dass Typkonstruktoren mag ->, (,)entspricht …
1
Wie ist IO eine Monade?
Ich lerne die Programmiersprache Haskell. Nach dem, was ich lese, stellt Input / Ouput ( IO ) die Reinheit von Haskell vor Herausforderungen, da wir per Definition mit der Außenwelt interagieren. Aus Wikipedia: In einer rein funktionalen Sprache wie Haskell können Funktionen im Rahmen der Funktionssemantik keine äußerlich sichtbaren Nebenwirkungen …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.