Als «functional-programming» getaggte Fragen

1
Was sind die theoretischen Grenzen der Stratego-Programmiersprache?
Stratego ist eine Programmiertransformationssprache / Rewriting DSL. Anthony Sloane hat einige Arbeiten an einer Implementierung durchgeführt, die auf Scala ausgeführt wird . Was sind die theoretischen Grenzen von Stratego als funktionale Sprache? (unabhängig von der Implementierung). Könnte man in Stratego einen Ycombinator für die Anwendungsbestellung schreiben?
3
Entspricht die Klasse der primitiven Rekursionsfunktionen der Klasse der Funktionen, deren Beendigung Fetus nachweist?
Fetus, wenn Sie nicht davon gehört haben, können bis zu lesen hier . Es verwendet ein System von 'Aufrufmatrizen' und 'Aufrufdiagrammen', um alle 'Rekursionsverhalten' von rekursiven Aufrufen in einer Funktion zu finden. Um zu zeigen, dass eine Funktion beendet wird, zeigt sie, dass alle Rekursionsverhalten von rekursiven Aufrufen einer Funktion …
1
Was sind mögliche Implementierungen von Haskells Typklassen und was sind ihre (Nachteile)?
Soweit ich weiß, wird eine Haskell-Funktion mit Einschränkungen für Typklassen intern zu einer Funktion mit zusätzlichen Argumenten kompiliert, die Wörterbücher mit den erforderlichen Implementierungen für jede bestimmte Typklasse erhalten. Gibt es andere Möglichkeiten, wie Typklassen kompiliert werden? Wenn ja, was sind ihre (Nachteile)? Und welche Compiler verwenden sie?
1
Typ für "Wege, wie Werte unterschiedlich sein können"
Ich suche nach einem Konzept in der Typentheorie, von dem ich sicher bin, dass es wahrscheinlich untersucht wurde, aber den Namen dahinter nicht kenne. Betrachten wir eine ML-ähnliche Sprache mit Produkt- und Summentypen und ein Hindley-Milner-ähnliches Typsystem. Ich werde die OCaml-Syntax verwenden. Ich frage mich, wie zwei verschiedene Werte unterschiedlich …
2
Monadentransformatoren kategorisch erklären
Die meisten Ressourcen zu kategorialen Begriffen in der Programmierung beschreiben Monaden, aber ich habe noch nie eine kategoriale Beschreibung von Monadentransformatoren gesehen. Wie könnten Monadentransformatoren im Sinne der Kategorietheorie beschrieben werden? Insbesondere würde mich interessieren: die Beziehung zwischen Monadentransformatoren und ihren entsprechenden Basismonaden; die Beziehung zwischen ihnen und den Monaden, …
2
Freie Theoreme, wo?
Ich habe diese Webanwendung gefunden, mit der Sie einen kostenlosen Satz für einen bestimmten Typ erstellen können. Die generierten Theoreme quantifizieren über Typen und Beziehungen zu diesen Typen. Diese Sätze (Formeln) sind Sätze von welcher Theorie / welchem ​​logischen System? In welcher Beziehung steht dieses System zur Gleichungstheorie der Sprache?
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.