This fortnight on Perl 6, week ending 2003-11-23

Right, hopefully things are back to normal(ish) after the disk crashes that rather spoilt the last summary. I've managed to fill in my mail archive too so this summary will cover the events of the last fortnight (that's two weeks for those whose version of English lacks this vital unit of time).

We start, as usual, with all the action in perl6-internals.

Unifying call and return

It's been a long time coming, but Dan returned from LL3 suitably refreshed by his dealings with academics ("You can [...] consider a a sub PMC as a frozen semi-stateless continuation") and set about unifying Parrot's call and return conventions. The strange thing is that everyone's been wanting this for months now, but that didn't mean there wasn't discussion.

Meanwhile Melvin Smith set about making this discussion moot (from the point of view of someone targeting Parrot) by hiding the details behind IMCC directives (which already happens admittedly, but Melvin's in the process of renaming the .pcc_* directives to get rid of the .pcc_ and (eventually) allowing for pluggable calling conventions.

http://groups.google.com/groups?selm=Pine.LNX.4.58.0311100905190.15737@sprite.sidhe.org -- Dan's heads up

http://groups.google.com/groups?selm=Pine.LNX.4.58.0311121141090.28619@sprite.sidhe.org -- Changes, draft 1

http://groups.google.com/groups?selm=a06010201bbdd728d2b16@[10.0.1.2] -- Dan puts his foot down

http://groups.google.com/groups?selm=5.1.1.6.2.20031115234124.020a7f60@pop.mindspring.com -- Melvin Makes it Moot

Reviewing a book about VMs

Stéphane Payrard bought a copy of "Virtual Machine Design and Implementation in C++" and reviewed it for perl6-internals. He didn't like it. Which is putting it mildly.

This led to the inevitable questions about finding good books on VM design. Stéphane quoted Leon Brocard's preemption of this question from London.pm: "No, there's surprisingly little out there on virtual machine design and development".

http://groups.google.com/groups?selm=20031113173044.GB5924@stefp.dyndns.org

IMCC gets high level sub call syntax

Melvin Smith continues to make PIR less like Assembly language and more like pseudo code. You can now write code like:

   _foo()
   var = _foo()
   var = _foo(a, b)
   (var1, var2) = _foo(a, b)

and IMCC will do the Right Thing. Go Melvin.

http://groups.google.com/groups?selm=5.1.1.6.2.20031116195005.03c2c488@pop.mindspring.com

IMCC problems with library loading

Jeff Clites pointed out some issues with IMCC's behaviour when loading external libraries and wondered about definitive docs on the macro syntax (I think the current definitive docs may well be the source code). Leo Tötsch seemed to accept that there were issues with the current state of IMCC in this context, but implied that fixing it wasn't an immediate priority.

http://groups.google.com/groups?selm=C5EC6699-18A1-11D8-92BE-000393A6B9DA@mac.com

A new list proposal

Melvin Smith proposed creating a parrot-compilers mailing list as a general purpose list for any and all language development targeting Parrot. He even went so far as to volunteer to maintain and distribute the FAQ.

The immediate response was positive, but Leo and others didn't really think the volume of traffic currently warranted it (which, I think, was part of Melvin's point, Parrot is reaching the point where it can just be used without necessarily needing to worry over much about its internals. I think Melvin is concerned that the technical level (and implicit Perlcentricity) of the current internals list is putting potential compiler developers off participating).

So, if you're reading this because you're interested in using Parrot as a target platform, but you don't subscribe to the internals list but would subscribe to a parrot-compilers list, could you let me, Melvin, or the list know? I've already committed to including any such list in my summaries (at least until traffic reaches the point where someone decides to do a dedicated summary). Let us know if you think it's a terrible idea too of course.

http://groups.google.com/groups?selm=5.1.1.6.2.20031117135818.021515f8@pop.mindspring.com

Parrot Documentation Review

Michael Scott posted a review of Parrot documentation with pointers of where to find existing docs and a discussion of where people should be looking. Somewhat bizarrely, he failed to give the URL of the Parrot Wiki, his favoured source of documentation (favoured for the very good reason that it's excellent). However, you'll find the URL below.

http://groups.google.com/groups?selm=47906C10-1959-11D8-AC7B-0050E479991D@mac.com

http://www.vendian.org/parrot/wiki/ -- The very lovely and worthwhile parrot Wiki

Freeze is in

Dan announced that he's checked in Leo's preliminary patch implementing freeze/thaw, commenting that it's likely to change dramatically internally and that the vtable/low-level API wasn't final, but that the op-level interface would be stable. Jeff Clites was initially concerned that the patch used things he was expecting to be able to use for his (in progress) ordered destruction patch. However, after some discussion, he and Leo seem to be confident that the two things can be unified.

http://groups.google.com/groups?selm=Pine.LNX.4.58.0311191201490.7503@sprite.sidhe.org

Warning Patrol

Jürgen Bömmels has been doing a little warning patrol of parrot and finds that only a very few fixes to IMCC are required to get a warning-free compile and posted a patch with them in. Leo applied it immediately, reasoning that, whilst IMCC's under heavy development, there's no excuse for throwing compile warnings, and every time the perpetrators have to integrate such patches they'll become more likely to try not to generate the warnings in the first place.

Inspired by this, Jonathan Worthington posted a similar patch to eliminate warnings when building for win32, which Leo also applied.

http://groups.google.com/groups?selm=m24qwzgj0y.fsf@helium.physik.uni-kl.de

Finished/stable parts of Parrot?

Robin Redeker wondered which bits of Parrot and IMCC could be considered stable enough to use in implementing a language. Leo opined that existing syntax will not change much, most of the expected changes relate to things like adding support for calling conventions and simplifications like replacing .pcc_sub with .sub. Melvin Smith pitched in with rather more detail about what was expected to change and the kind of changes that could be expected in the future. Reading this it's apparent that we've reached the point where almost any conceivable extension to IMCC will be backward compatible with earlier versions. Famous last words I know, but it is looking that way.

http://groups.google.com/groups?selm=20031120192528.GA6967@x-paste.de

Do Steve Fink's debugging for him

Steve Fink had a problem with some generated code throwing a segfault when it was run and, having hit the debugging wall himself, posted the code to the list and asked help. Leo tracked down the bug in Parrot and fixed it. However, that's not why this made the summary, what's interesting is the sample of code that the problem code was generated from. Here it is:

  rule thing() {
      <[a-z]>+
  }

  rule parens() {
      { print "entering parens\n"; }
      \( [ <thing> | <parens> | \s ]* \)
      { print "leaving parens\n"; }
  }

  sub main() {
      my $t = "()()(((blah blah () blah))(blah))";
      my $t2 = $t _ ")";
      print "ok 8\n" if $t2 !~ /^ <parens> $/;
  }

Looks tantalizing doesn't it? Someone's now going to tell me that the code in question has been there forever, but I'm still tantalized.

http://groups.google.com/groups?selm=20031121071225.GI26642@foxglove

Another minor tasks for the interested

Dan discovered that a make -j 4 dies quickly and horribly, which seems to imply that there's a dependency or two missing from the nest of twisty makefiles that make up the Parrot build system. He asked for volunteers to fix things. There's been some work done on this, but no definitive fix so far.

http://groups.google.com/groups?selm=Pine.LNX.4.58.0311211058540.29189@sprite.sidhe.org

Some PIR "How do I?" questions

Dan threw a list of questions about IMCC out to the list as things that would really benefit from being documented. Sterling Hughes added a question or two, and Melvin Smith volunteered to get the answers written up real soon now.

http://groups.google.com/groups?selm=Pine.LNX.4.58.0311211515220.29189@sprite.sidhe.org

Bytecode portability and word/int sizes

Now that Parrot has the beginnings of freeze/thaw support, Melvin Smith restarted discussion of ensuring that Parrot's bytecode format is portable. He pointed at several issues that need resolving. Discussion continues.

http://groups.google.com/groups?selm=5.1.1.6.2.20031122120034.02236230@pop.mindspring.com

Meanwhile, in perl6-language

Fun with 'multi'

Discussion of multi dispatch rolled on into the current summary period. Luke Palmer pointed out that multi is no longer a declarator but a modifier, allowing for fine-grained control of the 'scope' of a method/function/whatever. Larry pointed out that 'multi' is orthogonal to scope, saying simply "I'm putting multiple names into a spot that would ordinarily demand a unique name." and went on to explain precisely what that implied.

http://groups.google.com/groups?selm=20031110094753.GA14948@babylonia.flatirons.org

http://groups.google.com/groups?selm=20031119025313.GA10300@wall.org -- Larry Clarifies

The Perl 6 design process

Rod Adams worried that all of the design of Perl 6 seems to come from Larry and Damian, with the language list being relegated to asking questions about how stuff works in more detail and in sniffing out tricky bits. Taken in combination with the real world's nasty habit of saddling Larry and Damian with health and financial problems, well, Rod worries, and wonders if there's anything that can be done to improve matters.

The redoubtable chromatic (who prefers it if I always render his name in all lower case, even at the beginning of sentences, hence his becoming redoubtable) gave the Standard Answer to such questions, pointing out that the reason things are going through Larry is because, well, Larry's bloody good at it. However, he did suggest that we're now at the point where we can probably start turning existing design docs into story cards and programmer tests for Perl 6, which should make implementation a good deal easier, and pointed to the Perl XP Training Wiki as a good place to look into how such tools are used to develop code.

http://groups.google.com/groups?selm=4.2.0.58.20031114234841.00aa39e0@rodadams.net

http://xptrain.perl-cw.com/ -- The Perl XP Training Wiki

Control flow variables

Luke Palmer doesn't like the repetition and ugliness inherent in code like:

  my $is_ok = 1;
  for 0..6 -> $t
    { if abs(@new[$t] = @new[$t+1]) > 3 { $is_ok = 0; last } }

  if $is_ok { push @moves: [$i, $j] }

and wondered if there was a Perl6ish way of eliminating $is_ok. He suggested something like:

  for 0..6 -> $t
    { if abs(@new[$t] - @new [$t+1]) > 3 { last }}
  FINISH 
    { push @moves: [$i, $j] }

Simon Cozens made a plea to eschew adding syntax to the language when it would be better to find a general mechanism. He wondered if a better approach may be to have for return a status, by analogy with Perl 6's if, which would allow one to write:

  for 0..6 -> $t { 
    last if abs(@new[$t] - @new[$t+1] > 3; 
  } or push @moves: [$i, $j];

Which wasn't really well liked (I'm practicing my understatement here, okay?) However, Simon's point about distinguishing between Perl 6 the language and stuff that belongs in CP6AN (CPAN for Perl 6) was well made and taken.

The thread's almost unsummarizable, it went off in so many different directions, and elicited some good stuff from Larry about the thinking behind Perl 6, along with a horde of solutions to Luke's problem. Some of 'em even work in Perl 5, at the expense of some seriously ugly looking code. Piers Cawley wrapped one solution, based on a guard clause approach, up in a higher order function, but fumbled the ball on working out the macro syntax, which pulled the discussion in another direction. Meanwhile other subthreads led to discussions of generators, coroutines, Mathematica's Sow[] and Reap[] and legitimate uses of goto.

And Larry emphasised that nested modifiers are still quite illegal in Standard Perl 6.

http://groups.google.com/groups?selm=20031118142052.GA5735@babylonia.flatirons.org

http://groups.google.com/groups?selm=20031119181906.GD10300@wall.org -- Larry on language design

s/// in string context should return the string

In another of those deceptively 'pregnant' posts, Stéphane Payrard proposed that s/// in string context should return the string after substitution. Austin Hastings proposed something scary, which led to Larry contemplating making

  $x.s/foo/bar/.s/moo/goo/;

work somehow. (Which is actually less scary than Austin's original proposal). I think he rejected the idea for the time being though.

Piers Cawley suggested that it should return the substituted string, with an appropriate boolean property set depending on whether any substitutions were made. But then there issues of how you strip such properties off if you want to use the standard boolean interpretations of a string. Luke Palmer suggested the rather lovely but nothing meta property.

I have the feeling that what's actually going to happen is that we'll end up with a supplementary, non destructive form of s/// which doesn't alter the original string, but returns a new string with the substitutions made.

http://groups.google.com/groups?selm=20031118171859.GH3887@stefp.dyndns.org

Acknowledgements, Apologies, Announcements

Sorry, we're a tad late again, sorry too to those of you reading this on the mailing lists, I've not got 'round to reimplementing the software to shorten the article URLs.

If you find these summaries useful or enjoyable you might like to show your appreciation by contributing money or time to the Perl Foundation and the Perl 6 effort. , or you could give me feedback directly at p6summarizer@bofh.org.uk, or stop by at my website.

http://donate.perl-foundation.org/ -- The Perl Foundation

http://dev.perl.org/perl6/ -- Perl 6 Development site

http://www.bofh.org.uk:8080/ -- My website, "Just a Summary"

Visit the home of the Perl programming language: Perl.org

Sponsored by

Monthly Archives

Powered by Movable Type 5.13-en