Re: Record-type predicate Takashi Kato 18 Jul 2016 19:47 UTC
> I don't see a way to get meta-data about a procedure other than
> calling it. But this may be disastrous if an unknown procedure is
That's one of my concern. And I would like to raise an error if spec
(the SRFI) says "it is an error" however if there's no way to detect
so that's also impossible.
> For compatibility with SRFI-9 and R7RS-small, it has to return #t.
Ok, as I expected (and made my life harder).
> Do you have a use case in mind where it is crucial to hide
> these things from the user?
One of my thing is integration to R6RS (or even underlying object
system). As long as I can get the meta-data, then it is possible
to implement this SRFI on top of the existing object system (at
least on Sagittarius). To me, it's convenient if somewhat
meta-data object is defined (it doesn't have to be specified what
to have, like syntax object defined on R6RS).