Als «typing» getaggte Fragen

1
Was sind die Hauptunterschiede zwischen Zeilenpolymorphismus und Subtypisierung?
Ich höre oft, dass Zeilenpolymorphismus ein besserer Ansatz ist als Subtypisierung, aber ich habe Schwierigkeiten, irgendetwas zu finden, das sie im Detail vergleicht. Mich interessiert vor allem die Perspektive eines Anwenders des Systems. Ich bin auf diesen Blog-Beitrag gestoßen, habe aber mehr Fragen als zuvor. Beispielsweise wird behauptet, ein System …
20 typing 
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 = …
1
Constraint-basierte Typinferenz mit algebraischen Daten
Ich arbeite an einer ausdrucksbasierten Sprache der ML-Genealogie, daher ist natürlich eine Typinferenz erforderlich> :) Jetzt versuche ich, eine auf Einschränkungen basierende Lösung für das Problem der Ableitung von Typen zu erweitern, die auf einer einfachen Implementierung in EOPL (Friedman und Wand) basiert, aber sie sind elegant algebraische Datentypen. Was …
3
Vererbung und dynamischer Zugriff auf Mitglieder / Attribute und Methoden in Java-ähnlichen Sprachen
Ich habe eine Frage zur Vererbung in Java-ähnlichen OO-Programmiersprachen. Es kam in meiner Compiler-Klasse vor, als ich erklärte, wie Methoden und deren Aufruf kompiliert werden. Ich habe Java als Beispielquellsprache zum Kompilieren verwendet. Betrachten Sie nun dieses Java-Programm. class A { public int x = 0; void f () { …
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.