Als «haskell» getaggte Fragen

2
Welche Funktionen kann System F nicht berechnen?
In diesem Wikipedia-Artikel zu Turing Completeness heißt es: Der untypisierte Lambda-Kalkül ist vollständig, viele typisierte Lambda-Kalküle, einschließlich System F, jedoch nicht. Der Wert typisierter Systeme beruht auf ihrer Fähigkeit, die meisten typischen Computerprogramme darzustellen und gleichzeitig mehr Fehler zu erkennen. Was ist ein Beispiel für eine vollständig berechenbare Funktion, die …
5
Gibt es kommentierte formale Verifizierungssysteme für reine funktionale Programmiersprachen?
ACSL (Ansi C Specification Language) ist eine mit speziellen Kommentaren versehene Spezifikation für C-Code, mit der C-Code formal verifiziert werden kann. Ich habe es nicht untersucht, aber ich stelle mir vor, dass die in ACSL- Verifizierern verwendeten formalen Methoden Hoare Logic ähneln würden. Für reine funktionale Sprachen wie Haskell kann …
1
Warum erfordern funktionale Programmiersprachen die Garbage Collection?
Was hindert ghc daran, Haskell in eine verkettete Programmiersprache wie kombinatorische Logik zu übersetzen und dann einfach die Stapelzuweisung für alles zu verwenden? Laut Wikipedia ist die Übersetzung von Lambda-Kalkül in kombinatorische Logik trivial, und auch verkettete Programmiersprachen können sich bei der Speicherzuweisung ausschließlich auf einen Stapel stützen. Ist es …
4
Ist Eta-Äquivalenz für Funktionen mit Haskells seq-Operation kompatibel?
Lemma: Unter der Annahme einer Eta-Äquivalenz haben wir das (\x -> ⊥) = ⊥ :: A -> B. Beweis: ⊥ = (\x -> ⊥ x)durch Eta-Äquivalenz und (\x -> ⊥ x) = (\x -> ⊥)durch Reduktion unter dem Lambda. Der Haskell 2010-Bericht, Abschnitt 6.2, spezifiziert die seqFunktion durch zwei Gleichungen: …
2
Welche Beziehungen bestehen zwischen Alternative, MonadPlus (LeftCatch) und MonadPlus (LeftDistributive)?
Follow up Was ist ein Beispiel für eine Monade, die eine Alternative ist, aber keine MonadPlus? : Angenommen, ist eine Monade. Was sind die Beziehungen betweem ein Wesen Alternative , eine MonadPlusCatch und MonadPlusDistr ? mmmmmmFür jedes der sechs möglichen Paare hätte ich gerne entweder einen Beweis, dass eines ein …
1
Eine bikartesische geschlossene Kategorie strenger vollständiger Teilaufträge (Hask)
Es scheint bekannt zu sein, dass Programmiersprachen keine Summen, Produkte und Nichtterminierungen zusammen haben können. Q1 . Ist das wahr? Unten (oder in dem obigen Link, den ich gegeben habe) ist ein Teilargument. Die generische Programmierung von Hinze mit Adjunctions ignoriert das Problem jedoch, selbst nachdem etwas genau besprochen wurde …
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, …
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.