Zum Beispiel, wie kann ich eine Version von map schreiben, die mit polymorphen Funktionen in typed Racket funktionieren wird? Ich benutze eine einfache id Funktion wie folgt definiert: (: id : (All (A
Ein polymorpher Inline-Cache (PIC) funktioniert, indem die tatsächliche Methode nach dem Objekttyp zwischengespeichert wird, um kostspielige Nachschlagevorgänge (in der Regel eine Hashtabellensuche) z