The Nemerle Macros - extended course. Part 4. Macros and typing
In the given part of article I narrate about how works type inference subsystem of Nemerle, how Nemerle macros can interact with it subsystem, and that it gives.