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.

3
Gibt es eine Theorie der Ausnahmehierarchien?
Ich kenne ein Dutzend Programmiersprachen, die in gewisser Weise Ausnahmen haben, aber ich habe zwei "pathologische" Tendenzen beobachtet. Es scheint kein gemeinsames Muster oder eine Hierarchie von Ausnahmen zu geben. Jede Sprache rollt im Grunde genommen ihre eigene Version, und wenn die Ausnahmen es in den Standard schaffen, dann sind …
3
Probleme beim Implementieren von Abschlüssen in nicht funktionalen Einstellungen
In Programmiersprachen sind Verschlüsse ein beliebtes und oft gewünschtes Merkmal. Wikipedia sagt (Hervorhebung von mir): In der Informatik ist ein Closure (...) eine Funktion zusammen mit einer Referenzierungsumgebung für die nicht lokalen Variablen dieser Funktion. Ein Closure ermöglicht es einer Funktion, auf Variablen außerhalb ihres unmittelbaren lexikalischen Bereichs zuzugreifen. Ein …
3
Wie man eine Sprache homoikonisch macht
Laut diesem Artikel gibt die folgende Zeile des Lisp-Codes "Hello world" in der Standardausgabe aus. (format t "hello, world") Lisp, eine homoikonische Sprache , kann Code wie folgt als Daten behandeln: Stellen Sie sich nun vor, wir hätten folgendes Makro geschrieben: (defmacro backwards (expr) (reverse expr)) rückwärts ist der Name …
5
Was macht eine Sprache für eine bestimmte Aufgabe "optimiert"?
Möchten Sie diesen Beitrag verbessern? Geben Sie detaillierte Antworten auf diese Frage, einschließlich Zitaten, und erläutern Sie, warum Ihre Antwort richtig ist. Antworten ohne ausreichende Details können bearbeitet oder gelöscht werden. Oft gibt es Programmiersprachen, die auf bestimmte Aufgaben spezialisiert sind. Einige Programmiersprachen eignen sich hervorragend für die Array-Arithmetik (z. …
1
Typinferenz mit Produkttypen
Ich arbeite an einem Compiler für eine verkettete Sprache und möchte Unterstützung für Typinferenz hinzufügen. Ich verstehe Hindley-Milner, aber ich habe die Typentheorie im Laufe der Zeit gelernt, daher bin ich mir nicht sicher, wie ich sie anpassen soll. Ist das folgende System solide und eindeutig ableitbar? Ein Begriff ist …
3
Welche Forschungssprachen haben ein stärkeres Typensystem als Haskell und warum?
Hier lese ich das: Haskell hat definitiv nicht das fortschrittlichste Typsystem (nicht einmal annähernd, wenn Sie die Forschungssprachen zählen), aber von allen Sprachen, die tatsächlich in der Produktion verwendet werden, ist Haskell wahrscheinlich an der Spitze. Ich frage also zwei Dinge: Welche Forschungssprachen haben leistungsfähigere Typsysteme als Haskell? Was verbessern …
7
Warum sind negative Array-Indizes sinnvoll?
Ich habe eine seltsame Erfahrung in der C-Programmierung gemacht. Betrachten Sie diesen Code: int main(){ int array1[6] = {0, 1, 2, 3, 4, 5}; int array2[6] = {6, 7, 8, 9, 10, 11}; printf("%d\n", array1[-1]); return 0; } Wenn ich dies kompiliere und ausführe, erhalte ich keine Fehler oder Warnungen. …
3
Was ist der Unterschied zwischen einem Kalkül und einer Programmiersprache?
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 einer Maschine festgelegte operationale Semantik, …
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.