Kann mich jemand auf von Experten begutachtete Artikel verweisen, in denen die Vor- oder Nachteile des Schreibens von Code in einem funktionalen Stil untersucht werden? Gibt es Papiere, in denen die Anwendungen von Lambda Calculus in Bereichen wie Maschinelles Lernen, Sprachdesign usw. erörtert...
Ich habe eine ähnliche Frage zu cstheory.SE gestellt . Laut dieser Antwort auf Stackoverflow gibt es einen Algorithmus, der auf einer nicht faulen reinen funktionalen Programmiersprache eine -Komplexität aufweist, während derselbe Algorithmus in der imperativen Programmierung . Das Hinzufügen von...
Ich hätte gerne ein Beispiel für ein Quin in reinem Lambda-Kalkül . Ich war ziemlich überrascht, dass ich durch googeln keinen finden konnte. Die Quine-Seite listet Quines für viele "echte" Sprachen auf, jedoch nicht für die Lambda-Rechnung. Dies bedeutet natürlich, zu definieren, was ich mit einem...
Funktionale Programmierung hat den sehr eleganten Lambda-Kalkül und seine Varianten als Backup-Theorie. Gibt es so etwas für OOP? Was ist eine Abstraktion für das objektorientierte
Ein Kombinatorausdruck (zum Beispiel auf SK-Basis) kann als eine Funktion betrachtet werden, die Kombinatorberechnungsausdrücke auf Kombinatorberechnungsausdrücke abbildet. Das heißt, man kann sich einen Ausdruck XXX als eine Funktion , wobei die Menge aller syntaktisch gültigen Kombinatorausdrücke...
Ich glaube, ich bin ziemlich verwirrt darüber, was als Kalkül und was als Programmiersprache bezeichnet wird. Ich neige dazu, zu denken und könnte gesagt worden sein, dass ein Kalkül ein formales System ist, um über die Gleichwertigkeit von Programmen zu argumentieren. Programme haben eine von...
Erstens möchte ich darauf hinweisen, dass mein nachstehender Text Fehler enthalten kann. Sie können also jederzeit auf Fehler bei der Formulierung der Frage hinweisen. Betrachten Sie einen nicht typisierten Lambda-Kalkül mit Booleschen Werten und if-Anweisungen, deren Terme durch diese Syntax...
Ich versuche, kontextsensitive Grammatiken zu verstehen. Ich verstehe, warum Sprachen mögen {ww∣w∈A∗}{ww∣w∈A∗}\{ww \mid w \in A^*\} {anbncn∣n∈N}{anbncn∣n∈N}\{a^n b^n c^n \mid n\in\mathbb{N}\} sind nicht kontextfrei, aber was würde ich gerne wissen, wenn eine Sprache, die der untypisierten...
Ich kämpfe darum, den Zweck der universellen und existenziellen Quantifizierung von Typen zu verstehen. Ich spiele damit herum, eine Spielzeugsprache zu schreiben, die auf der Berechnung von Konstruktionen basiert . Ich habe über Morte und Henk gelesen , um ein besseres Verständnis zu erlangen. Ich...
Ich lerne gerade den Lambda-Kalkül und habe mich über die folgenden zwei verschiedenen Arten des Schreibens eines Lambda-Begriffs gewundert. λxy.xyλxy.xy\lambda xy.xy λx.λy.xyλx.λy.xy\lambda x.\lambda y.xy Gibt es einen Unterschied in der Bedeutung oder der Art und Weise, wie Sie die Beta-Reduktion...
Ich betrachte die Konstruktionsrechnung und ihren Platz im Lambda-Würfel . Wenn ich das richtig verstehe, kann man sich vorstellen, dass jede Achse des Würfels eine weitere Operation mit Typen zum einfach typisierten Kalkül hinzufügt λ→λ→\lambda_\to. Die erste Achse fügt Typ-zu-Term-Operatoren, die...
Ich wurde darauf aufmerksam gemacht, dass die Kosten für Typinferenz in einer funktionalen Sprache wie OCaml sehr hoch sein können. Die Behauptung ist, dass es eine Folge von Ausdrücken gibt, so dass für jeden Ausdruck die Länge des entsprechenden Typs exponentiell zur Länge des Ausdrucks ist. Ich...
Ich beginne im nächsten Herbst einen Bachelor-Informatikkurs, kann aber λ-Kalkül im Kontext der funktionalen Programmierung nicht wirklich verstehen. Ich kann dies völlig falsch interpretieren, aber basierend auf dieser Definition aus der Stanford Encyclopedia of Philosophy ist es nur eine weitere...
Ich arbeite an einem kleinen Lambda-Kalkül-Compiler, der über ein funktionierendes Inferenzsystem vom Typ Hindley-Milner verfügt und jetzt auch rekursive Let's (nicht im verknüpften Code) unterstützt. Ich verstehe, dass dies ausreichen sollte, um Turing vollständig zu machen . Das Problem ist...
Ich verstehe, dass eine Kirchenzahl wie λ s aussieht . λ z . s (... n mal ...) scncnc_nλ s . λ z. sλs.λz.s\lambda s. \lambda z. s . Dies bedeutet nichts anderesals „die Funktion s Applied n - mal auf die Funktion z “.szszs\;zsssnnnzzz Eine mögliche Definition der Funktion ist die folgende: t i m e...
Selbsttypen sind eine Erweiterung der Konstruktionsrechnung [1], mit der die Sprache algebraische Datentypen ausdrücken kann, die durch die Scott-Codierung codiert werden. Die Scott-Codierung bietet die Möglichkeit zur Musterübereinstimmung O(1), was einer der Hauptgründe für die Aufnahme...
Laut Peter Selinger ist der Lambda-Kalkül algebraisch (PDF). Zu Beginn dieses Artikels sagt er: Die kombinatorische Interpretation des Lambda-Kalküls ist bekanntermaßen unvollkommen, da sie die Regel nicht erfüllt : Nach der Interpretation impliziert M = N nicht \ lambda xM = \ lambda xN...
Was sind anonyme (Lambda) Funktionen? Was ist die formale Definition einer anonymen Funktion in einer funktionalen Programmiersprache? In meinen einfachen Worten, wenn ich in Schema / Lisp programmiere, würde ich sagen, dass eine anonyme (Lambda) Funktion eine Funktion ist, die nicht an einen...
Ich habe heute gelernt, dass sich die Algorithmusanalyse basierend auf dem Rechenmodell unterscheidet. Daran habe ich noch nie gedacht oder gehört. Ein Beispiel, das mir von User @chi weiter veranschaulicht wurde, war: Betrachten Sie zB die Aufgabe: gegeben return . Im RAM kann dies in gelöst...
Ich weiß nicht, wo ich diese Frage sonst stellen soll, ich hoffe, das ist ein guter Ort. Ich bin nur neugierig zu wissen, ob es möglich ist, einen Lambda-Kalkülgenerator herzustellen. Im Wesentlichen eine Schleife, die bei unendlicher Zeit jede mögliche Lambda-Kalkülfunktion erzeugt. (wie in Form...