Als «functional-programming» getaggte Fragen

6
Was ist neu in rein funktionalen Datenstrukturen seit Okasaki?
Seit Chris Okasakis 1998 erscheinendem Buch "Rein funktionale Datenstrukturen" sind nicht mehr allzu viele neue aufregende rein funktionale Datenstrukturen aufgetaucht. Ich kann nur einige nennen: IntMap (ebenfalls von Okasaki im Jahr 1998 erfunden, aber in diesem Buch nicht vorhanden) Fingerbäume (und ihre Verallgemeinerung über Monoide) Es gibt auch einige interessante …






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
Was sind die praktischen Probleme mit Schnitt- und Vereinigungstypen?
Ich entwerfe eine einfache statisch typisierte funktionale Programmiersprache als Lernerfahrung. Es scheint, dass das Typsystem, das ich bisher implementiert habe, (mit ein wenig zusätzlicher Arbeit) Schnitt- und Vereinigungstypen enthalten könnte, z. B .: <Union String Integer> <Union Integer Foo> Der Schnittpunkt der beiden oben genannten Typen wäre eine Ebene Integer …

2
Können die Kosten für GC bei der Analyse der Laufzeit von Worst-Case-Datenstrukturen, die in einer Programmiersprache mit Speicherbereinigung angegeben sind, vernachlässigt werden?
Mir ist gerade aufgefallen, dass ich davon ausgegangen bin, dass meine Frage mit "Ja" beantwortet wurde, aber ich habe keinen guten Grund. Ich stelle mir vor, dass es vielleicht einen Müllsammler gibt, der nachweislich nur die Worst-Case-Verlangsamung einführt . Gibt es eine definitive Referenz, die ich zitieren kann? In meinem …

2
Was sind die Grenzen der gesamten funktionalen Programmierung?
Was sind die Einschränkungen der gesamten funktionalen Programmierung? Es ist nicht vollständig für Turing, unterstützt jedoch eine große Teilmenge der möglichen Programme. Gibt es wichtige Konstrukte, die Sie in einer Turing-vollständigen Sprache schreiben könnten, aber nicht in einer vollständigen funktionalen Sprache? Und ist es richtig zu sagen, dass Programme, die …

2
Kategorietheorie, rechnerische Komplexität und kombinatorische Zusammenhänge?
Ich habe versucht, " Pearls of Functional Algorithm Design " und anschließend " The Algebra of Programming " zu lesen , und es gibt eine offensichtliche Korrespondenz zwischen rekursiv (und polynomiell) definierten Datentypen und kombinatorischen Objekten mit derselben rekursiven Definition und anschließendem Führen auf die gleiche formale Potenzreihe (oder auf …

4
Wie unterscheiden sich imperative Sprachen stärker voneinander als funktionale Sprachen?
Ich lese Simon Peyton Jones ' Die Implementierung funktionaler Programmiersprachen und es gibt eine Aussage, die mich ein wenig überrascht hat (auf Seite 39): Funktionale Sprachen sind in viel stärkerem Maße als imperative Sprachen syntaktische Variationen voneinander mit relativ wenigen semantischen Unterschieden. Nun, dies wurde 1987 geschrieben und meine Gedanken …

3
Leser, Schreiber Monaden
Sei ein CCC . Lassen ein Produkt bifunctor auf sein . Da Cat CCC ist, können wir curry :CCC(×)(×)(\times)CCC(×)(×)(\times) curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times B Die Funktorkategorie hat die übliche monoidale Struktur. C⇒CC⇒CC \Rightarrow C A monoid in ist ein …

3
Bootstrapping einer Fingerbaumstruktur
Nachdem ich einige Zeit mit 2-3 Fingerbäumen gearbeitet habe, war ich bei den meisten Operationen von deren Geschwindigkeit beeindruckt. Das einzige Problem, auf das ich gestoßen bin, ist der große Aufwand, der mit der anfänglichen Erstellung eines großen Fingerbaums verbunden ist. Da das Erstellen als eine Folge von Verkettungsvorgängen definiert …

2
(Wie) Können wir NP-Probleme in Abwesenheit des Turing-Berechnungsmodells entdecken / analysieren?
Wie kann man aus rein abstrakten mathematischen / rechnerischen Gesichtspunkten überhaupt Probleme wie 3 - SAT, Teilmenge Summe, Handlungsreisender usw. Entdecken oder über sie nachdenken? Wären wir überhaupt in der Lage, sie nur unter funktionalen Gesichtspunkten sinnvoll zu beurteilen? Wäre es überhaupt möglich? Ich habe diese Frage nur von einem …

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.