plt-redex

4Hitze

1Antwort

Wie implementiert man rekursive Typen in PLT Redex?

Ich glaube, dass ich sowohl equirecursive und iso-rekursive Typen recht gut verstehe. Daher habe ich versucht, einen Typchecker für ISWIM mit gleich rekursiven Typen in PLT Redex zu implementieren. Ab

4Hitze

1Antwort

Invoke Urteil aus Reduktions-Beziehung

ich auf, die eine Sprache gerade arbeite, die Abgüsse und Subtypisierung hat wie folgt: (define-language base (t ::= int any) (e ::= number (cast t e)) #| stuff ... |#) ich folgendes

2Hitze

1Antwort

Redex passt nicht

Eine übliche Art Semantik definieren ist (zum Beispiel): return v if [some other condition] otherwise, return error Betrachten wir zum Beispiel (define-language simple-dispatch (e ::= v (+ e e

7Hitze

2Antwort

Was sind "Reduktionssemantik"? Bitte erläutern Sie die Verwendung von PLT Redex in Laien-Begriff

Jemand bitte erklären Sie die Verwendung der Reduktionssemantik und der PLT Redex in einfacher Sprache. Danke.