[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#11198: prefab structs in guile
From: |
Ludovic Courtès |
Subject: |
bug#11198: prefab structs in guile |
Date: |
Thu, 05 Jul 2012 22:57:00 +0200 |
User-agent: |
Gnus/5.130005 (Ma Gnus v0.5) Emacs/24.1 (gnu/linux) |
Hello,
Andy Wingo <address@hidden> 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’.