Als «programming-languages» getaggte Fragen

Fragen zum Entwurf, zur Implementierung und zur Analyse von Programmiersprachen. NICHT für Fragen zum Programmieren, die auf dieser Site nicht zum Thema gehören.

4
Können Sie eine Programmiersprache ohne Implementierung angeben?
Ist es theoretisch möglich, eine Programmiersprache anzugeben, für die keine Implementierung existieren könnte? Eine Programmiersprache ist eine Möglichkeit, Funktionen zu definieren. Eine Implementierung bedeutet ein Verfahren zum Ausführen eines bestimmten Programms in dieser Sprache an einem bestimmten Eingang zum Ausgang der Funktion, die dem Programm an diesem Eingang entspricht. Was …
1
Typen als erstklassiger Bürger
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 ist?
2
Was macht Lambda-Kalkül für das Studium relevant?
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 Notation für Funktionen. Wenn es nur so ist , warum …
2
Was ist der Unterschied zwischen Variablen und Zeigern?
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 einen Verweis auf eine Speicheradresse enthalten. Es kann …
2
Kompilieren Sie eine Programmiersprache mit sich selbst
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 an sich gemacht. Zum Beispiel ist der …
3
Warum bleibt der Zustand in der kleinen operativen Semantik einer while-Schleife unverändert?
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 \>S; (while \> B \> do \>S) \> else \> SKIP, \sigma) Für mich ist dies nicht intuitiv. Wenn …
1
Bilden müllfreie Spaghetti-Stapel bei Verwendung als Call-Stack eine DAG?
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 einen Single-Thread-Prozess für diese Frage. Ich bin jedoch etwas verwirrt über …
1
Was ist ein nicht erfundenes Beispiel für eine zu konservative statische Typprüfung?
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 (expression-with-type-error) Kann jemand eine nicht erfundene Antwort geben, die wirklich ein praktisches Anliegen wäre? Ich verstehe, dass Java dynamisch überprüfte Casts …
2
Berücksichtigt Petersons 2-Prozess-Algorithmus zum gegenseitigen Ausschluss sterbende Prozesse?
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 1 Prozess 1 gestoppt wird, werden die …
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.