Ich beende gerade meinen MSc in Informatik. Ich interessiere mich für Programmiersprachen, insbesondere für Typensysteme. Ich habe mich für Forschung auf diesem Gebiet interessiert und werde nächstes Semester eine Doktorarbeit zu diesem Thema beginnen. Hier ist nun die eigentliche Frage: Wie kann...
Diese Frage wurde von Software Engineering Stack Exchange migriert, da sie in Computer Science Stack Exchange beantwortet werden kann. Vor 7 Jahren migriert . Ich möchte wissen , ob ein universell quantifizierte Typ : T a = ∀ X : { a ∈ X , f : X → { T , F } } ist ein Untertyp oder Sonderfall einer...
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...
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 = raise Exit...
Ich lese beim Schreiben einer Implementierung etwas über den Hindley-Milner-Typisierungsalgorithmus und sehe, dass Sie, solange jede Variable gebunden ist, immer entweder atomare Typen oder Typen erhalten, bei denen die Argumente den endgültigen Typ bestimmen, z. B. t1 -> t1oder (t1 -> t2)...
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...
Ist es möglich, abhängige Typen in der vorhandenen Typed Racket- Implementierung zu verwenden? (dh existieren sie darin?) Ist es vernünftigerweise möglich, ein System abhängiger Typen mit typisiertem Schläger zu
Ich lerne Programmieren in ML (OCaml) und habe früher nach ML-Funktionen vom Typ'a -> 'b gefragt . Jetzt habe ich ein bisschen mit Funktionen vom Typ experimentiert 'a list -> 'b list. Es gibt einige offensichtliche einfache Beispiele: let rec loop l = loop l let return_empty l = [] let rec...
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 {...