Ich bin ein Informatikstudent. Ich möchte meine eigene Programmiersprache erstellen (eine Basissprache mit wenigen Anweisungen). Ich weiß, wie man einen syntaktischen Analysator macht, ich habe es bereits in Perl gemacht. In einem Artikel habe ich etwas über den Compiler gelesen, ein Compiler ist...
Für Funktionen oder Berechnungen haben wir Begriffe wie: Deterministisch - Determinismus Reinheit Was ist nun das richtige entsprechende Substantiv für nebenwirkungsfrei ? "Nebenwirkungsfreiheit"? "Nebenwirkungsfreiheit"? "Nicht
Ich komme aus C ++ und verstehe nicht, warum man als erstklassiger Bürger Typen / Typausdrücke braucht. Die einzige mir bekannte Sprache, die diese Funktion unterstützt, ist Aldor. Hat jemand Literatur über Typen als erstklassiger Bürger oder kennt er einige Gründe, warum dies nützlich...
Beim Lesen eines Artikels über Unterschiede in der OO- und Funktionsprogrammierung stieß ich auf Funktionszeiger. Es ist eine Weile her, seit ich mein Informatik-Studium (2003) abgeschlossen habe, und so habe ich nach Hinweisen gesucht, um mein Gedächtnis aufzufrischen. Zeiger sind Variablen, die...
Die Defunktionalisierung ist eine Transformation, die erstmals 1972 von John C. Reynolds beschrieben wurde, um Funktionen höherer Ordnung zu eliminieren. Gibt es alternative Transformationen (effizienter?), Um Funktionen höherer Ordnung zu
Ich denke, dass in Petersons Algorithmus zum gegenseitigen Ausschluss , wenn der Prozess, der zuerst in den kritischen Abschnitt eintritt, sterben oder abgebrochen wird, der andere Prozess für immer eine Schleife durchläuft und darauf wartet, in den kritischen Abschnitt einzutreten. Wenn in Prozess...
Ich beschäftige mich mit Implementierungstechniken für Programmiersprachen und bin kürzlich auf Spaghetti-Stacks gestoßen, die angeblich gut für ein Continuation-Passing-Style-Modell geeignet sind (aufgrund ihrer Verwendung in z. B. Scheme und SML / NJ ). Betrachten wir der Einfachheit halber nur...
In Kapitel 1 der praktischen Grundlagen für Programmiersprachen erwähnt der Autor, dass abstrakte Syntaxbäume mit Sortierungen verknüpft sind . Intuitiv sind Sortierungen wie Typen, aber ich würde gerne wissen, ob sie eine genaue Definition haben. Ich würde mich freuen, wenn auch einige Referenzen...
Ist es möglich, abhängige Typen in der vorhandenen Typed Racket- Implementierung zu verwenden? (dh existieren sie darin?) Ist es vernünftigerweise möglich, ein System abhängiger Typen mit typisiertem Schläger zu
Angenommen, Sie erweitern die Konstruktionsrechnung um "Löcher", dh um unvollständige Codeteile, die Sie noch nicht ausgefüllt haben. Ich frage mich, ob es einen Algorithmus gibt, mit dem diese Rollen automatisch besetzt werden können. Zum Beispiel (unter Verwendung der Morte -Syntax): Fall A: λ...
Ich habe kürzlich mit einem Freund über eine Website gesprochen, auf der Regex-Herausforderungen vorgeschlagen wurden, wobei hauptsächlich eine Gruppe von Wörtern mit einer speziellen Eigenschaft abgeglichen wurde. Er suchte nach einem regulären Ausdruck, der zu Zeichenfolgen passt, bei...
Angenommen, Listen sind definiert als List a = Nil | Cons a (List a) Dann ist in Haskell List xder größte oder kleinste Fixpunkt? Ich frage, weil das lfp unendliche Listen ausschließen sollte (aber Sie können sie in Haskell erstellen), während das gfp endliche ausschließen
In Concepts in Programming Languages schreibt John Mitchell, dass die statische Typprüfung aufgrund des Halteproblems notwendigerweise konservativ (zu streng) ist. Er gibt als Beispiel: if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else
Normalerweise sehe ich, dass sich in der strukturellen Darstellung der operativen Semantik für die while-Schleife der Programmstatus nicht ändert: (whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> then...
Ich habe versucht, die Definitionen von Typensicherheit und Typensicherheit auseinanderzuhalten, und ich habe eine verdammt gute Zeit damit. Ich habe kürzlich einen Professor gefragt und nach einigem Nachdenken sagte er, dass es wirklich keinen Unterschied gibt. Doch nach der Lektüre dieses wie es...
String ist eine unveränderliche Klasse in Java. Eine unveränderliche Klasse ist einfach eine Klasse, deren Instanzen nicht geändert werden können. Warum wählt die Java-Programmiersprache Objekte der Klasse String
Ich lerne Programmieren in ML (OCaml) und habe früher nach ML-Funktionen vom Typ'a -> 'b gefragt . Jetzt habe ich ein bisschen mit Funktionen vom Typ experimentiert 'a list -> 'b list. Es gibt einige offensichtliche einfache Beispiele: let rec loop l = loop l let return_empty l = [] let rec...
Ich möchte mehr über die verkettete Programmierung erfahren, indem ich eine kleine einfache Sprache erstelle, die auf dem Stapel basiert und dem verketteten Paradigma folgt. Leider habe ich nicht viele Ressourcen zu verketteten Sprachen und deren Implementierung gefunden. Entschuldigen Sie mich...
Ich lese die Programmiersprache The Rust und habe folgende Passage gefunden: Denken Sie daran, dass das Schreiben in eine Struktur keine atomare Operation ist und viele Funktionen wie vec.push()z. B. intern neu zugewiesen werden können und unsicheres Verhalten verursachen können, sodass selbst...
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...