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.

2
Gibt es Hinweise darauf, dass sich die Verwendung dynamischer Sprachen auf die Produktivität auswirkt?
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 Sprache (wie C / C ++) und der Unterschied in …
3
Wie ist das Verhältnis zwischen Funktoren in SML und Kategorietheorie?
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 in SML und Funktoren in Kategorietheorie? Da ich keine Informationen …
2
Verwenden Programmiersprachen allgemeine rekursive Funktionen als Grundlage?
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 funktionale Programmiersprachen. Ich habe kürzlich erfahren, dass die Church-Turing-These auch die wechselseitige …
10
Ist eine universelle Assemblersprache für alle Computer möglich?
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 Code schreiben muss? Wenn ja, warum nicht Assembly, schreiben Sie einmal - …
1
Reicht eine Do-While-Schleife für die Turing-Vollständigkeit aus?
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: Hat eine do-while-Schleife die gleiche Rechenleistung wie eine while-do-Schleife? Mit anderen Worten, …
5
Warum sind funktionale Sprachen vollständig?
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 Studenten der Kirche, erstellt wurde. Lambda-Kalkül ist so leistungsfähig und …
3
ML-Funktion vom Typ 'a ->' b
Unser Professor hat uns gebeten, uns eine Funktion in OCaml zu überlegen, die den Typ hat 'a -> 'b dh eine Funktion eines Arguments, das alles sein kann und das etwas anderes zurückgeben kann. Ich dachte an die Verwendung raisein einer Funktion, die ihr Argument ignoriert: let f x = …
2
Algorithmen zur Typprüfung
Ich beginne eine persönliche bibliografische Recherche über Algorithmen zur Typprüfung und möchte einige Tipps. Was sind die am häufigsten verwendeten Algorithmen, Strategien und allgemeinen Techniken zur Typprüfung? Ich interessiere mich besonders für komplexe Algorithmen zur Typprüfung, die in weithin bekannten stark statisch typisierten Sprachen wie beispielsweise C ++, Java 5+, …
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.