Als «imperative-programming» getaggte Fragen

12
Was ist die theoretische Grundlage der imperativen Programmierung?
Die funktionale Programmierung hat eine theoretische Grundlage in der Lambda-Rechnung und der kombinatorischen Logik . Als jemand, der sich mit statistischem Rechnen beschäftigt, finde ich diese Konzepte sehr nützlich für die Modellierung. Gibt es eine äquivalente mathematische Grundlage für die imperative Programmierung , oder ist sie einfach aus der praktischen …
2
Was ist das Volksmodell der linearen Logik?
Wahrscheinlich ist die häufigste Anwendung von linearen Typen in PL, sie zu verwenden, um Sprachen zu geben, die das Aliasing steuern (dh ein linearer Wert hat mehr oder weniger einen einzelnen Zeiger darauf). Es gibt jedoch eine leichte Abweichung zwischen dieser Verwendung und typischen Denotationsmodellen der linearen Logik. IIRC, Benton …
4
Wie werden Nebenwirkungen in der Semantik behandelt?
In Anthony Aabys Abschnitt "Einführung in Programmiersprachen" über Semantik macht er folgende Bemerkung: Ein Großteil der Arbeit in der Semantik von Programmiersprachen ist durch die Probleme motiviert, die beim Versuch auftreten, imperative Programme zu konstruieren und zu verstehen - Programme mit Zuweisungsbefehlen. Da der Zuweisungsbefehl den Variablen Werte neu zuordnet, …
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
Typinferenz für andere zwingende Anweisungen als Zuweisung
Auf meiner Suche nach Forschungsarbeiten über Typensysteme für imperative Sprachen finde ich nur Lösungen für eine Sprache mit veränderlichen Referenzen, aber ohne echte imperative Kontrollstrukturen wie zusammengesetzte Operatoren, Schleifen oder Bedingungen. Es ist also nicht klar, wie eine imperative Sprache mit partieller Typinferenz wie http://rust-lang.org implementiert werden kann. In den …
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.