Hello, Andy Wingo <wi...@pobox.com> skribis:
> Then you would modify the reader to call out to (ice-9 prefab) with > the list after #s, e.g. the (foo ...) in #s(foo ...). (ice-9 prefab) > would return the record, creating the RTD if needed. The problem with this is that one could precisely forge instances of a given record type, thereby breaking the type safety we currently have (each instance of a record type is genuine, in the sense of Rees’ “A Security kernel Based on the Lambda-Calculus”.) Does Racket address this somehow? Thanks, Ludo’.