Computerwissenschaften programming-languages

10

Wie kann eine Sprache, deren Compiler in C geschrieben ist, jemals schneller sein als C?

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 besser, C-Leistung = 1,0).

175 programming-languages compilers efficiency

12

Warum gibt es so viele Programmiersprachen?

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 …

130 programming-languages

6

Ist Kategorietheorie nützlich, um funktionale Programmierung zu lernen?

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 lernen, um eine gute Grundlage für das Verständnis von Haskell zu …

118 programming-languages functional-programming category-theory

5

Warum sind einige Programmiersprachen „schneller“ oder „langsamer“ als andere?

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 regelt die "Geschwindigkeit" einer Programmiersprache? Hat dies …

81 programming-languages compilers

9

Welche Eigenschaften einer Programmiersprache machen eine Kompilierung unmöglich?

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 Eigenschaften?" Compiler: Prinzipien und Praxis von Parag H. Dave und Himanshu B. Dave (2. Mai …

72 programming-languages compilers interpreters

6

Formale Programmüberprüfung in der Praxis

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, Isabelle ... Könnte ich eines davon verwenden, um zu …

66 programming-languages program-correctness software-verification

14

Wie kann ich meinen Eltern erklären, dass ich Programmiersprachen lerne?

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 ich Menschen ohne Vorkenntnisse in der Informatik oder …

64 programming-languages education typing research

10

Kann eine dynamische Sprache wie Ruby / Python eine C / C ++ - ähnliche Leistung erreichen?

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, wie Ruby …

64 programming-languages compilers

3

Abhängige Typen vs. Verfeinerungstypen

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 Haskell-Projekt auf verfeinerte Typen und über Coq …

58 terminology programming-languages type-theory functional-programming dependent-types

6

Gibt es Mindestkriterien für die Vollständigkeit einer Programmiersprache?

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 was es zu tun gibt?

55 computability programming-languages turing-machines turing-completeness

9

Was ist eine sichere Programmiersprache?

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. Wenn ja, diskutieren wir eine …

54 programming-languages

8

Wie werden Variablen im Programmstapel gespeichert und daraus abgerufen?

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ß ich, dass es eine …

47 programming-languages memory-allocation

9

Warum sind einige Programmiersprachen vollständig, aber es fehlen einige Fähigkeiten anderer Sprachen?

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 genau den gleichen Argumenten, die es bekam, …

42 computability programming-languages turing-completeness

2

Wie funktioniert Tarjans Pseudocode (wird jemandem erklärt, der mit C oder Java vertraut ist)?

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 . In den 1980er Jahren veröffentlichte er …

40 programming-languages

2

Sind generationsübergreifende Garbage Collectors von Natur aus Cache-freundlich?

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 guter Kompromiss zwischen Speicheraufwand und Zeitaufwand für …

38 programming-languages computer-architecture cpu-cache garbage-collection

Als «programming-languages» getaggte Fragen