Hello, >> I think the reader should only return valid Scheme objects that have a >> read syntax (info "(r5rs) Lexical Structure"), and records are not among >> them. > > I agree, FWIW.
This seems like circular logic to me - extending the reader should mean that new types can have read syntax. The problem here, I think, is that the compiler also needs to know how to serialize those types. Why don't we provide an interface to define a serializer as well as a reader, and have compile-assembly use these serializers? As long as each type has both a serializer and a reader, it should work fine. That also feels symmetrical, which I take as a good sign. :-) Noah
