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...
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...
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))...
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...
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...
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...
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,...
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...
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...
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....
Ich frage mich, ob es irgendwelche Experimente gibt, die das Vorhandensein oder Nichtvorhandensein einer Korrelation zwischen der Verwendung einer dynamischen Sprache (wie Python, Ruby oder sogar Sprachen, die auf der Java-Plattform wie Groovy, Clojure ausgeführt werden) über a zeigen statische...
In einem kürzlich erschienenen CACM-Artikel [1] präsentieren die Autoren eine Implementierung für inszenierte Funktionen . Sie verwenden den Begriff so, als ob er bekannt wäre, und keine der Referenzen scheint eine offensichtliche Einführung zu sein. Sie geben eine kurze Erklärung (Betonung meiner...
Entsprechend dieser Aussage von Andrej Bauer in dieser Antwort Die Haskell-Community hat eine Reihe von Techniken entwickelt, die von der Kategorietheorie inspiriert sind. Monaden sind am bekanntesten, sollten aber nicht mit Monaden verwechselt werden . Welche Beziehung besteht zwischen Funktoren...
Ich möchte ein paar Fragen zur Assemblersprache stellen. Ich verstehe, dass es der Maschinensprache sehr nahe kommt und sie schneller und effizienter macht. Bedeutet das, dass wir unterschiedliche Computerarchitekturen haben, dass ich in Assembly für unterschiedliche Architekturen unterschiedlichen...
Per Empfehlung reposte ich dies von Stack Overflow . Kürzlich habe ich über folgendes Thema nachgedacht. Betrachten Sie den Code für eine Standard "Hallo Welt!" Programm: main() { printf("Hello World"); } Nahezu jede Änderung an diesem Code macht ihn nun völlig unbrauchbar. Tatsächlich verhindert...
Kurz: Wie werden Typensysteme im akademischen Kontext kategorisiert? insbesondere, wo kann ich seriöse Quellen finden, die die Unterscheidung zwischen verschiedenen Arten von Typsystemen deutlich machen? In gewisser Weise liegt die Schwierigkeit bei dieser Frage nicht darin, dass ich keine Antwort...
Dies ist eine naive und daher möglicherweise falsch formulierte Frage, also entschuldigen Sie sich im Voraus! Meiner Ansicht nach kann eine Turing-Maschine als Berechnungsgrundlage für prozedurale / imperative Programmiersprachen angesehen werden. Ebenso ist der Lambda-Kalkül die Grundlage für...
Also habe ich darüber nachgedacht, wie Müllsammler funktionieren, und mir ein interessantes Problem überlegt. Vermutlich müssen Müllsammler alle Bauwerke gleich durchqueren. Sie können nicht wissen, ob sie eine verknüpfte Liste oder einen ausgeglichenen Baum oder was auch immer durchqueren. Sie...
Vielleicht ist mein begrenztes Verständnis des Themas falsch, aber das ist, was ich bis jetzt verstehe: Die funktionale Programmierung basiert auf Lambda-Kalkül, das von Alonzo Church formuliert wurde. Die imperative Programmierung basiert auf dem Turing-Maschinenmodell, das von Alan Turing, dem...
Ich weiß, dass in imperativen Programmiersprachen eine while-do-Schleife als Kontrollflusskonstrukt ausreicht, um die Sprache Turing-complete zu machen (was den Kontrollfluss betrifft - natürlich brauchen wir auch unbegrenzten Speicher und bestimmte Operatoren ...) . Der Kern meiner Frage lautet:...