Re^3: The Case for Macros in Perl

»»» This post is about the immature Perl 6, not the rock solid Perl 5 «««

eyepopslikeamosquito's list above might lead some to think that the P6 spec, and Rakudo implementation, don't (aspire to) support Textual and Procedural macros and that their macros don't (aspire to) cover the ground that Lisp macros cover. So, for the record, although this is mostly OT:

The P6 macro design (per spec) supports, and Carl Mäsak (Rakudo dev) plans to implement, Textual (unhygienic) macros (included in both eyepopslikeamosquito's list of macro types and the ones listed in wikipedia's page on macros).
P6 macros are written in P6. Aiui that means they (also) provide the Procedural macro type listed by eyepopslikeamosquito and WP.
P6 macros are (eventually) supposed to deliver most of the practical benefits of Lisp macros in an easier-to-apply or at least more Perlish form despite the fact P6 isn't homoiconic.
The P6 macro features described in the 2012 advent article on macros (the one eyepopslikeamosquito linked above) still work. I know Carl will appreciate seeing folk trying macros out on #perl6 so he can see what folk want to do with them and/or reporting bugs to RT.
Aiui, relative to his original proposal/plan, Carl's progress report from Nov 2012 still applies. Update: Macros progress report: after a long break.
Since then Carl has continued to test and discuss user-facing and internal design ideas and issues related to macros, some of it on #perl6. (Feel free to join the conversation.)
It's likely that P6 macros are going to take a different or additional form as recently suggested by some recent comments by Larry Wall such as "a macro that is written like token infix:sym<op> but 'make' returns the new AST" and Carl's latest blog post.

»ö« ^{. o O ( "the celebrity tell-all of the Perl-6 cult?" )}

Comment on Re^3: The Case for Macros in Perl Download Code

Replies are listed 'Best First'.

Re^4: The Case for Macros in Perl
by einhverfr (Friar) on Sep 18, 2014 at 23:49 UTC

Perhaps with an agreed-upon Perl 6 spec we can eventually get the same backported into Perl 5 ;-)

[reply]

Re^5: The Case for Macros in Perl

by raiph (Deacon) on Sep 19, 2014 at 20:07 UTC

»»» This post is about the immature Perl 6, not the rock solid Perl 5 «««

I'm not aware of a compelling reason to wait for 6.0.0. cf Moose which used P6 OO design as-it-was-then as its starting point.

I think a one hour review/consideration of P6 macros as they are now would probably be worthwhile for anyone considering the design of a macro facility for P5 today, even if their conclusion is "we can't use any of this in P5". The heart of the Macros spec is in the Macros section of the Subroutines spec, so it's fairly easy to review the overall design. And the basics, plus hygiene, have already been implemented in Rakudo, so it's easy to try it out too, eg by using the online evalbots on #perl6. I'd be happy to provide further pointers if you or anyone else expresses interest.

Another possibility I'm particularly curious about is ways in which P5 and P6 can leverage each other to create a greater Perl. While I don't currently see a way to do this in relation to macros, perhaps someone more creative than I could use Inline::Perl5 and/or v5 to bring some macro magic to P5.

»ö« ^{. o O ( "the celebrity tell-all of the Perl-6 cult?" )}

[reply]