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.
Wenn Sie sich Julias Webseite ansehen , sehen Sie einige Benchmarks mehrerer Sprachen über mehrere Algorithmen (Timings siehe unten). Wie kann eine Sprache mit einem Compiler, der ursprünglich in C geschrieben wurde, C-Code übertreffen? Abbildung: Benchmark-Zeiten im Verhältnis zu C (kleiner ist...
Ich beherrsche C / C ++ ziemlich fließend und kann mich in den verschiedenen Skriptsprachen (awk / sed / perl) zurechtfinden. Ich habe viel mehr mit Python angefangen, weil es einige der raffinierten Aspekte von C ++ mit den Skriptfunktionen von awk / sed / perl kombiniert. Aber warum gibt es so...
Ich lerne Haskell und bin fasziniert von der Sprache. Allerdings habe ich keinen ernsthaften Mathe- oder CS-Hintergrund. Aber ich bin ein erfahrener Softwareprogrammierer. Ich möchte Kategorietheorie lernen, damit ich bei Haskell besser werden kann. Welche kategorietheoretischen Themen sollte ich...
Ich habe festgestellt, dass einige Anwendungen oder Algorithmen, die auf einer Programmiersprache basieren, beispielsweise C ++ / Rust, schneller oder schneller ausgeführt werden als Java / Node.js, die auf demselben Computer ausgeführt werden. Ich habe ein paar Fragen dazu: Warum passiert das? Was...
Frage: "Bestimmte Eigenschaften einer Programmiersprache erfordern möglicherweise, dass der darin geschriebene Code nur durch Interpretation ausgeführt wird. Mit anderen Worten, die Kompilierung zu einem systemeigenen Maschinencode einer herkömmlichen CPU ist nicht möglich. Was sind diese...
Als Softwareentwickler schreibe ich viel Code für Industrieprodukte. Relativ kompliziertes Zeug mit Klassen, Threads, einigen Designbemühungen, aber auch einigen Kompromissen für die Leistung. Ich teste viel und bin es leid zu testen. Daher interessierte ich mich für formale Proof-Tools wie Coq,...
Ich frage mich, ob es möglich ist, Compiler für dynamische Sprachen wie Ruby zu erstellen, die eine ähnliche und vergleichbare Leistung wie C / C ++ aufweisen. Nach meinem Verständnis von Compilern, zum Beispiel Ruby, kann das Kompilieren von Ruby-Code niemals effizient sein, da die Art und Weise,...
Ich beende gerade meinen MSc in Informatik. Ich interessiere mich für Programmiersprachen, insbesondere für Typensysteme. Ich habe mich für Forschung auf diesem Gebiet interessiert und werde nächstes Semester eine Doktorarbeit zu diesem Thema beginnen. Hier ist nun die eigentliche Frage: Wie kann...
Könnte jemand den Unterschied zwischen abhängigen Typen und Verfeinerungstypen erklären? So wie ich es verstehe, enthält ein Verfeinerungstyp alle Werte eines Typs, der ein Prädikat erfüllt. Gibt es ein Merkmal abhängiger Typen, das sie unterscheidet? Wenn es hilft, bin ich über das Liquid...
Gibt es eine Reihe von Programmiersprachenkonstrukten in einer Programmiersprache, damit diese als vollständig betrachtet werden können? Nach allem , was ich aus Wikipedia entnehmen kann , muss die Sprache die Rekursion unterstützen oder anscheinend in der Lage sein, ohne anzuhalten. Ist das alles...
Sichere Programmiersprachen (PL) werden immer beliebter. Ich frage mich, was die formale Definition von sicherem PL ist. Zum Beispiel ist C nicht sicher, aber Java ist sicher. Ich vermute, dass die Eigenschaft "safe" eher auf eine PL-Implementierung als auf die PL selbst angewendet werden sollte....
Entschuldigung im Voraus für die Naivität dieser Frage. Ich bin ein 50 Jahre alter Künstler, der zum ersten Mal versucht, Computer wirklich richtig zu verstehen. Also geht es los. Ich habe versucht zu verstehen, wie Datentypen und Variablen von einem Compiler behandelt werden (im Allgemeinen weiß...
Beim Schreiben eines Interpreters, der sich an externe Programme / Funktionen anhängt (anhängen sollte), ist ein merkwürdiges Problem aufgetreten: Funktionen in 'C' und 'C ++' können keine unterschiedlichen Funktionen anhängen , z. B. kann ich keine Funktion erstellen , die 'printf' aufruft. mit...
Die Kurzgeschichte Ein berühmter Informatiker, Tarjan , schrieb vor Jahren ein Buch. Es enthält absolut bizarren Pseudocode. Würde es bitte jemand erklären? Die lange Geschichte Tarjan ist für viele Leistungen bekannt, einschließlich der Tatsache , dass er der Miterfinder der war spreizen Bäume ....
Ein typischer Garbage Collector der Generation speichert kürzlich zugewiesene Daten in einem separaten Speicherbereich. In typischen Programmen sind viele Daten nur von kurzer Dauer. Daher ist das häufige Sammeln von jungem Müll (ein kleinerer GC-Zyklus) und das seltene Sammeln von altem Müll ein...
Angenommen, ein Programm wurde in zwei verschiedenen Sprachen geschrieben: Sprache X und Sprache Y. Wenn die Compiler denselben Bytecode generieren, warum sollte ich Sprache X anstelle von Sprache Y verwenden? Was macht aus, dass eine Sprache schneller ist als die andere? Ich frage dies, weil oft...
Die meisten von uns haben das Programmieren mit "textuellen" Programmiersprachen wie Basic, C / C ++ und Java gelernt. Ich glaube, es ist natürlicher und effizienter für den Menschen, visuell zu denken. Die visuelle Programmierung ermöglicht Entwicklern das Schreiben von Programmen durch...
Als CS-Pädagoge auf Universitätsniveau wird häufig diskutiert, welche Programmiersprache im ersten Programmierkurs unterrichtet werden soll. Sie haben die Wahl zwischen Tausenden von Sprachen und viel religiöses Fieber (oder Fieber), das ein Sprachcamp über ein anderes unterstützt. All diese...
Ich weiß, dass Idris abhängige Typen hat, aber nicht vollständig ist. Was kann es nicht tun, wenn es auf Vollständigkeit verzichtet, und hängt dies damit zusammen, dass es abhängige Typen gibt? Ich denke, das ist eine ziemlich spezifische Frage, aber ich weiß nicht viel über abhängige Typen und...
Dijkstra macht in seinem Aufsatz Über die Grausamkeit, Informatik wirklich zu unterrichten , den folgenden Vorschlag für einen Einführungskurs in die Programmierung: Einerseits lehren wir, was wie die Prädikatenrechnung aussieht, aber wir machen es ganz anders als die Philosophen. Um den Anfänger...