Eduardo Cavazos wrote:
A naive sketch of (one possible approach to) the expansion of a
'define-typed' macro is:
(define abc
(lambda (x)
(define-syntax y (identifier-syntax #(x "string")))
(nth y 2)))
But that has at least one problem. 'nth' itself is a macro and it seems
that 'y' isn't defined "in time".
So, any suggestions for how to approach 'define-typed'?
Does anybody think this sort of macro is even possible? :-) It seems
like in principle, achieving compile-time dispatch should be doable with
macros. Perhaps an approach different from the above is in order.
Ed
