Появились подробности по делу обвиняемой в хищении миллиардов экс-замминистра ДНРСуд продлил арест экс-замминистра ДНР Мерваезовой
When I say macros, I mean Lisp-style macros, not C/C++ preprocessor macros. The difference is that Lisp-style macros are actual functions which can perform arbitrary computation, whereas preprocessor macros are essentially a template system that can only insert text.
，更多细节参见新收录的资料
Elaboration: Modern type checkers increasingly separate elaboration。关于这个话题，新收录的资料提供了深入分析
So now, for every one of those output nodes, we do the same thing we were doing in the pull step. But we add a couple of additional checks to our logic: