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.
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 Leute sagen: "C ist …
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 verwandte Typsysteme.
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 Manipulieren grafischer Elemente. Ich denke, die visuelle Programmierung …
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 subjektiven Vorurteile, die jede Programmiersprache umgeben, machen es einem Pädagogen sehr schwer, …
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 in der Manipulation von nicht interpretierten Formeln zu …
Ich las über Iota und Jot und fand diesen Abschnitt verwirrend: Im Gegensatz zu Iota, wo der syntaktische Baum für einen String entweder links oder rechts verzweigt sein kann, ist die Jot-Syntax einheitlich links verzweigt. Infolgedessen ist Iota streng kontextfrei, aber Jot ist eine reguläre Sprache. Mein Verständnis ist, dass …
Grundsätzlich sind mir drei Grundlagen für Mathematik bekannt Mengenlehre Typentheorie Kategorietheorie Inwiefern hängen Programmiersprachen und Grundlagen der Mathematik zusammen? BEARBEITEN Die ursprüngliche Frage lautete "Programmiersprachen, die auf mathematischen Grundlagen basieren". mit der zusätzlichen Paragrafie von Und Implementierungen der Theorie 1. Typentheorie in Coq 2. Mengen-Theorie in SETL 3. Kategorietheorie in …
Gibt es Programme, die Quellcode zwischen zwei beliebigen Sprachen 'übersetzen' können (vorausgesetzt, der Übersetzer hat Zugriff auf die erforderlichen Bibliotheken)? Wenn ja, wie funktionieren sie (eingesetzte Techniken, erforderliche Kenntnisse usw.)? Wie würden sie realisierbar sein? Wenn nicht, welche Einschränkungen verhindern ihre Entwicklung? Handelt es sich um ein AI-vollständiges Problem (die …
Der Festkomma-Kombinator FIX (auch als Y-Kombinator bezeichnet) im (untypisierten) Lambda-Kalkül ( λλ\lambda ) ist definiert als: ≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda x. f~(\lambda y. x~x~y)) Ich verstehe seinen Zweck und kann die Ausführung seines …
Können wir Programmiersprachen im Kontext der Linguistik studieren? Entwickeln sich Programmiersprachen auf natürliche Weise ähnlich wie natürliche Sprachen? Obwohl vollständige Rationalität und mathematische Konsistenz für Programmiersprachen von entscheidender Bedeutung sind, müssen sie (insbesondere moderne Sprachen) für den Menschen lesbar und komfortabel sein. Entwickeln sich Programmiersprachen, um sprachlicher und damit natürlicher …
Auf der Suche nach Einsichten in Entscheidungen rund um müllsammelndes Sprachdesign. Vielleicht könnte mich ein Sprachexperte aufklären? Ich komme aus einem C ++ - Hintergrund, daher ist dieser Bereich für mich verwirrend. Es scheint, dass fast alle modernen Sprachen mit OOPy-Objektunterstützung wie Ruby, Javascript / ES6 / ES7, Actionscript, Lua …
Wir schreiben hauptsächlich Programme in Hochsprache. Während des Studiums bin ich auf Assemblersprache gestoßen. Ein Assembler konvertiert also Assemblersprache in Maschinensprache und ein Compiler macht dasselbe mit Hochsprache. Ich habe festgestellt, dass Assembler Anweisungen wie Move R1 R3, Move A 5 usw. enthält. Und es ist ziemlich schwer zu lernen. …
Beachte, während ich programmieren kann, bin ich ein ziemlicher Anfänger in der CS-Theorie. Nach dieser Antwort Vollständigkeit ist ein abstrakter Begriff der Berechenbarkeit. Wenn eine Sprache Turing vollständig ist, ist sie in der Lage, alle Berechnungen durchzuführen, die eine andere Sprache von Turing vollständig ausführen kann. Und jedes Programm, das …
Ich habe mehrere Open-Source-Tools zur visuellen Programmierung wie Blockly and Friends und andere bei Github gehostete Projekte gefunden, konnte jedoch keine finden, die direkt mit dem abstrakten Syntaxbaum zusammenarbeiten. Warum das? Ich frage, denn als ich herausfand, dass jeder Compiler eine Phase im Kompilierungsprozess durchläuft, in der er den Quellcode …
Ich habe mich im Internet nach einer Antwort auf diese Frage umgesehen und es scheint, als ob jeder außer mir die Antwort implizit kennt. Vermutlich liegt das daran, dass die einzigen Menschen, die sich darum kümmern, diejenigen sind, die eine Hochschulausbildung zu diesem Thema absolviert haben. Andererseits wurde ich für …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.