Are there any papers on systematically handling name resolution + macro expansion + type-checking without having it devolve into a ball of mud?
I'm looking at some Scala papers and those seem to be mostly about features/usage, not implementation challenges.
Conversation
Oh wait, I just had a brainfart moment. If your macros are typed, the type-checking and inference is kinda gonna work like normal functions. Macro expansion can be done later after type-checking is over.
1
2
(There's an implicit assumption here about all macros being typed. Untyped macros would throw a wrench into the gears, certainly.)
1
1
Replying to
Not sure if what you are looking for is somewhere in here, but it could well be:
1
1
I have looked at both a little bit, not in too much detail. One mismatch is staging vs macros, but I see there's a paper by Stucki et al. on a unification of the two. Literally just started looking at that one before your reply. 😅
1
Show replies