On Tue, Jan 26, 2010 at 6:01 PM, Eduardo Cavazos <[email protected]>wrote:
> Michele, > > Welcome back, and thanks for your input. :-) > > On Sun, 2010-01-24 at 08:09 +0100, Michele Simionato wrote: > > > What one would need is the ability to attach compile time attributes > > to a function, in particular attributes containing the needed > > information about the function signature. > > Would Chez Scheme's "Compile-time Values and Properties" be enough to > implement the idea you mention there? > > http://scheme.com/csv7.9.4/7.9.4.html#g21 I did not know about Chez Scheme's "Compile-time Values and Properties"; on the surface, they look akin to what I had in mind (but notice that my mind is still quite nebolous on the subject ;). I felt more than once the need for a reliable and portable way to attach compile-time information to identifiers. Default arguments for functions, record types, compile-time dispatching, things like that.
