Anlage auf definierte Typen in Racket

Question

Ich habe die folgenden Arten in Racket definiert:

(define-type vname (Pairof String Integer)) 

(define-type term (U vname (Listof (Pairof String term)))) 

(define-type subst (Listof (Pairof vname term))) 

Wie würde ich eine Prozedur (lift s t) mit Signatur definieren (-> subst term term), die auf konditioniert ist, ob t vom Typ vname oder (Listof (Pairof String term))? Gibt es eine einfache Möglichkeit, den tatsächlichen Typ eines Union-Typs zu testen? Wenn ich stattdessen (define-type term (U String Integer)) hätte, könnte ich string? verwenden, um zu testen, ob t eine Zeichenfolge ist; Wie würde ich das auf meine Situation ausdehnen?

Answer 1

Eine Union ist keine diskriminierte Einheit, daher gibt es nicht automatisch eine Möglichkeit, dies zu tun. In diesem speziellen Fall können Sie jedoch zwischen den beiden unterscheiden, da vname immer ein Paar mit Integer in der Position cdr ist, während ein Wert vom Typ (Listof (Pairof String term)) entweder '() ist oder ein Paar mit einem (möglicherweise leeren) ist. Liste in der cdr Position. So das Prädikat vname? könnte definiert werden als:

(define (vname? x) 
    (and (pair? x) (exact-integer? (cdr x)))) 

Answer 2

ich in ähnliche Probleme in typisierten Racket laufen habe und ich fand es einfacher structs für alle meine nicht-triviale Typen zu definieren. Dann können Sie zwischen Typen unterscheiden, die die Strukturprädikate verwenden, z.

(struct vname (name val)) 
(vname? (struct "foo" 5))