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.

1
Formale Beschreibung einer neuen domänenspezifischen Programmiersprache
Ich bin dabei, eine domänenspezifische Sprache zur Darstellung sozialer Lernkonventionen zu implementieren. Teil der Implementierung ist eine formale Beschreibung einer Sprache - ihrer 'Analysis', Symbole und logischen Ausdrücke. Mein Ansatz wäre es, die Sprache durch Beschreibung ihrer Grammatik zu beschreiben, aber es gibt auch Konzepte wie Beziehungen, Dialoge, Erwartungen, die …
4
Was bedeutet "Dummy-Argument"?
Was bedeutet es, wenn ein Argument für eine Funktion als Dummy-Argument bezeichnet wird ? Ich bin diesem Begriff außerhalb von Fortran nicht begegnet. Ist er ein allgemeiner Begriff in der Informatik? Was wären Beispiele für Argumente, die als Dummy übergeben und nicht als Dummy übergeben werden? Ich habe diese Definition …
1
Turing maschinenähnlicher Formalismus für das Schauspielermodell
Turingmaschinen haben eine formale Symbolalphabet-, Zustands- und Übergangsregel-basierte Beschreibung, wie eine Berechnung durchgeführt wird. Das Akteurmodell wird manchmal als leistungsfähigeres Rechenmodell als Turing-Maschinen erwähnt (nicht in dem, was es berechnen kann, sondern in anderen Aspekten). Ist das Actor Model eine vollwertige Drehmaschinenalternative als Rechenmodell? Verfügt das Akteurmodell auch über eine …
3
Unterschiede zwischen Programmiermodell und Programmierparadigma?
Welche Beziehung und welchen Unterschied besteht zwischen einem Programmiermodell und einem Programmierparadigma? (insbesondere wenn es um das Programmiermodell und das Programmierparadigma für eine Programmiersprache geht.) Wikipedia versucht meine Frage in 1 zu beantworten: Programmierparadigmen können auch mit Programmiermodellen verglichen werden , die Abstraktionen von Computersystemen sind. Beispielsweise ist das "von …
10
Computerprogramm vs. Algorithmus
Es wird gesagt, dass ein Programm Algorithmen enthält. Wenn wir uns jedoch auf deren Definition beziehen, ist ein Algorithmus eine Folge von Anweisungen, die geschrieben wurden, um eine bestimmte Aufgabe auszuführen, und ein Computerprogramm ist auch eine Folge von Anweisungen, um eine (einige) Aufgaben mit einem Computer auszuführen. Was unterscheidet …
7
Sprache für den Unterricht in grundlegender Programmierung
Ich bin daran interessiert, Mittelschülern Programmieren beizubringen. Ich möchte eine Programmiersprache mit folgenden Kriterien: Einfach - auf das absolute Minimum reduziert, um anspruchsvolle Programmierung ohne zu viel Code zu unterstützen. Daher interessiere ich mich für diese Sprache nicht für Zeiger und bin der Objektorientierung überdrüssig (obwohl die Funktionen gut sind). …
2
Ist funktionale Programmierung nicht nur eine verschleierte imperative Programmierung?
Ein YouTube - Video war ich gerade erklärte die Unterschiede zwischen Imperativen und Funktionale Programmierung durch den Nachweis , wie die Zahlen aus 1zu 10jeweils in Java und in Haskell aufsummiert. In Java müssen Sie jeden Schritt explizit angeben und das Ergebnis jedes Schritts einer Variablen zuweisen - etwa wie …
4
Ein schnelleres, schlankeres JavaScript für das wissenschaftliche Rechnen: Welche Funktionen sollte ich behalten?
Hier bin ich wirklich daran interessiert, Hindernisse für den Mathematikunterricht abzubauen. Ziel: Ich würde gerne sehen, dass es für die JavaScript-Community erstellt wurde, ein Äquivalent zu den Python-basierten / verknüpften wissenschaftlichen und leistungsstarken Computerbibliotheken (große Listen davon sind über Sage und andere verfügbar ). Und das möchte ich, weil ich …
2
Formales Ausführungsmodell für Java (oder allgemeine imperative Sprache)
Ich versuche, einige Aussagen über die Ausführung in Java-Programmen unter einigen starken Einschränkungen zu beweisen (im Grunde genommen habe ich die Vermutung, dass zwei Methoden, die eine Reihe von Einschränkungen für eine bestimmte Eingabe erfüllen, äquivalent sind - dh den Wert und den Status danach zurückgeben Ausführung sind identisch). Um …
1
Der C3-Linearisierungsalgorithmus für die Methodenauflösung in OO-Sprachen mit Mehrfachvererbung: Suchen Sie nach einer Begründung für einige Implementierungsdetails
Gemäß dieser Beschreibung der Python-Methodenauflösungsreihenfolge (mro), auch bekannt als C3-Linearisierung , kann der Algorithmus rekursiv wie folgt beschrieben werden: L(O) = <O> L(C) = <C> + merge(L(B1),..., L(Bn), <B1,...,Bn>) wo O ist die Klasse, von der jede Klasse erbt. Cist eine Klasse, die direkt von B1, ... Bn, in dieser …
2
Höherrangiger Polymorphismus ohne explizite Anwendung oder Subtypisierung?
Daher kenne ich zwei Hauptstrategien für einen höherrangigen Polymorphismus in einer Sprache: Polymorphismus im System-F-Stil, bei dem Funktionen explizit typisiert werden und die Instanziierung explizit über die Typanwendung erfolgt. Diese Systeme können beeindruckend sein. Subtypisierungsbasierter Polymorphismus, wobei ein polymorpher Typ ein Subtyp aller seiner Instanziierungen ist. Um eine entscheidbare Subtypisierung …
2
Programme rückwärts ausführen
Ich habe nie einen Debugger verwendet, der ein Programm rückwärts ausführen kann, aber ich würde es gerne tun. Jetzt frage ich mich, ob es viele Beweise und Theorien zur rückwärts laufenden Programmierung gibt, wann und warum ein Programm rückwärts ausgeführt werden kann oder wann und warum nicht? Intuitiv finde ich, …
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.