This Week in Perl 6, May 3, 2005 - May 17, 2005
Welcome ot another fortnight’s summary. Wouldn’t it just figure that I can’t think of anything sufficiently non-sequiterish to amuse myself. Perhaps I need a running gag like Leon Brocard or chromatic’s cummingesque capitalization. Maybe I should start one and not tell you. That could be fun.
Perl 6 Compiler
If you have ever been foolish enough to want an email for every commit in Pugs, Sam Vilain created a way to help you sip from the firehose. Have fun.
Luke Palmer had a question about how nested
when statements in a
given block should act. His intuition disagreed with Pugs, but most others supported Pugs.
Autrijus has made Pugs into a registered compiler for Parrot. Because Pugs already allowed you to embed Parrot code (PIR anyway) directly into Perl 6, this allows you to embed the Perl 6 in your PIR in your Perl 6. Now the possibilities are endless, at least until you blow your mental stack. Those of you with tail call optimization in your mental stack may simply go into an infinite loop if you prefer.
Trewth Seeker expressed his opinion about the proper definition of xor quite strongly. Unfortunately, his opinion is at odds with established mathematics, as Mark Biggar pointed out to him.
Patrick provided an update on the state of the Perl Grammar Engine. It has many nifty new features.
Rob Kinyon and Gaal Yahas worked to improve Pugs support for Cygwin. Unfortunately the thread winds down with an unanswered question. Fortunately Stevan clued me in on IRC that things are not working just yet.
Autrijus announced that Pugs now has basic support for Objects and Rules. Sometimes he scares me, though usually he just makes me really want to learn Haskell.
Miroslav Silovic provided a regression test for hyper ops. Some people just don’t appreciate the fun of regressing.
Stevan Little provided a patch for a simple object test. Autrijus applied it. That’s odd, because I am pretty sure that Stevan has the commit bit…
Juerd provided a link to a big rule that could segfault PGE. It kind reminds me of a homework assignment I had to create a regular expression which matched all strings of numbers that did not contain any repeated digits. That’s easy in Perl, but hard in math. I think the resultant regex was somewhere around 17 MB.
Autrijus released Pugs 6.2.3 which contains 10% more awesome then Pugs 6.2.2. You should check it out on the live CD that Ingo Blechschmidt released.
Grégoire Péan announced that he has added Pugs binaries to his windows distribution of Perl. Pretty cool. Autrijus innocently asked him to take on the slightly larger task of producing binaries of Parrot too, so that Pugs could be at its most powerful.
Wow, did you see how I mentioned Parrot before going into this new section. That was an awesome transition! My high school English teachers would be so proud.
Patrick wants character class opcodes of the form find first and find first not. Leo pointed him to some hysterical raisins who might help.
François Perrad fixed a problem with building PGE on MinGW. Patrick applied the patch.
Luke Palmer both intoduced me to the wonderfully cute phrase “untodid” and provided a patch making
NULL when given bad flags. Leo applied the patch, but Melvin Smith warned that this might be a bad idea. Silence followed.
Jeff Horwitz was having trouble embedding PIR into C. Leo provided some pointers. Jeff was happy.
Previously, Michael G Schwern announced an update to
Test::Builder. chromatic asked if it was worth the upgrade. Michael replied probably, but I don’t think anyone has acted on it.
Robert Spier created a miniparrot at Bernhard Schmalhofer’s request. This miniparrot does not replace our make system, but it does make our website less camel centric.
Leo, Autrijus, and Chip had one of the nerdiest conversations ever. The summary of which is that Autrijus gets commit priveledges for Parrot. The general consensus was that he was too productive in Haskell and we needed to hobble him with a real man’s language like C.
Parrot 0.2.0 “NLnet”
Leo announed the release of Parrot 0.2.0. This one didn’t seem to make it to Slashdot. That’s kinda sad, because I always get a warm feeling when I know about stuff before /. Oddly, Google Groups seems to have lost the email.
make realclean failed to find a few files: a flaw forcefully fixed by Jerry Gay.
Bob Rogers made it not. Leo applied the patch.
Patrick put out a request for a rudimentary set of lies and damn lies. People are welcome to provide benchmarks too.
Leo found that Parrot was panicking during start up. He rolled that patch back.
Leo put out a request for a make test target which would invoke Parrot twice, once to compile to PBC and once to run it. Dino Morelli provided a patch. Leo applied it.
Jens Rieks opened a ticket for some failing test long ago. Now he wondered if there was a status update. Warnock applies.
Leo noticed that parrotcode.org needed a little loving. Robert Spier provided it. He also mentioned that people could provide their own patches for it against https://svn.perl.org/perl.org/docs/live/parrotcode/ . Now is your chance to contribute to Parrot’s public face.
Jonathan Scott Duff wondered why runtime/parrot/library wasn’t in Parrot’s search paths. Leo added it for
Leo began down the road to miniparrot, creating first a Parrot without a config and using that to generate a config.fpmc for Parrot. The information provided there helps to create a larger Parrot.
Bob Rogers posted some questions about how to work with multi subs and provided a preliminary patch. Leo provided some answers but felt the need to pin down the calling conventions before the patch.
Matt Diephouse received a commit bit. Congrats. Leo took the opportunity to remind himself to run
make test before committing.
Nicholas Clark found a
NULL reference in
real_exception. Leo explained that he needed to call
Parrot_run_native to allocate the exception structute (and set the stack top pointer). Nicholas didn’t want to set the stack top as he was tracking some Perl refcount bugs.
Autrijus provided a patch to make PGE escape strings as Haskell FFI expects. Patrick suggested a slightly different approach, which Autrijus took.
John Lenz found and fixed a bug in Boolean.pmc. Leo applied the patch and Juergen Boemmels provided a test.
Andy Dougherty noticed that Configure.pl printed “failed” for release tarballs as they don’t have .svn directories. He changed it to print “done”. Leo applied the patch.
Jeff Horwitz provided a patch which allows
spawnw to take an array. Leo applied it (with a brief reminder on platform-specific ettiquette).
Jerry Gay fixed a problem building dynclasses on Win32. Leo applied the patch.
Millsa Erlas had a few basic questions about Parrot’s JIT. Leo provided answers.
Jerry Gay fixed some tests and added some more. Leo applied the patch.
Leo put out a request for some filepath and string manipulation support in Parrot.
In a failed attempt to dewarnock himself, Leo reported his call syntax abstraction proposal.
Nick Glencros suggested renaming (or possibly removing) some old tag files from our CVS days. Leo was unsure about the removing option but liked the renaming one.
François Perrad provided a patch to fix some build problems on MinGW. Leo applied the patch.
Andy Bach wondered how much of Omniscient Debugging would be possibly in Parrot. Leo reasoned that someone could add it with some work. It would involve replacing all mutating vtables with special versions that store extra information to allow them to roll back.
Jeff Horwitz wondered who else was actively working on mebedding Parrot. Nicholas Clark provided a very uncertain pointer.
Autrijus explained that Parrot’s current implementation made attribute access difficult. Leo went further saying that he felt it was wrong. The consensus is that Parrot needs to allow non-absolute access to attributes, so Leo made it so.
François Perrad found that config.t fails without first doing a make clean. Leo deemed his initial solution a little too quick and too dirty.
Patrick provided a patch which changes the return value of
find_not to the string’s length (instead of -1) if the character does not occur. Warnock applies.
Jerry Gay provided a patch to clean the _config files during make clean. Leo applied it.
Leo changed the logical ops to return one of their operands as appropriate.
Jerry Gay provided a patch to remove a warning on Win32. Bernhard Schmalhofer applied it.
Tim Bunce wondered whether any resolution with respect to namespaces had come about. Leo told him not much.
Dino Morelli was trying to add some unit tests when he ran into questions. Patrick provided some answers but suggested further conversation move to p6l, which it did.
Nick Glencross posted some updates to the MD5 library. This led to a few rounds of speading it up and comparing its speed with various other MD5 libraries. The final result is: slower than C but MUCH faster than pure Perl.
Bob Rogers pointed out that disassemble was sefaulting on some byte code. Leo fixed it.
Jerry Gay provided a patch which changed some internal exceptions to real ones. Leo applied it.
Tim Bunce reported some failing tests on Mac OS X. Leo fixed them.
Uwe Voelker provided a patch fixing a typo in PBC_COMPAT, which chromatic applied. He also noticed that p6rules/*.t did not have plans. Patrick welcomes all updates to PGE tests.
Dino Morelli added some tests for p6rules. Patrick applied the patch.
Jerry Gay found a bug in PGE involving escaping sequences strangely. Leo tracked it down, and Patrick fixed it.
Kevin Tew wondered what the state of Python on Parrot was. Sam Ruby and Michal Wallace provided updates. Hopefully it will take off again soon.
Ron Blaschke provided a patch to quote some paths that needed it in dynclasses. chromatic wondered if that would break with paths that already contain quotes.
Juergen Boemmels noticed that the SVN repository still contains some .cvsignore files. He suggested removing them, but a few things need to be updated to the svn world before that can happen. Bernhard Schmalhofer made it happen.
Adrian Taylor found a
NULL pointer problem in Parrot. Leo fixed it.
Colin Paul Adams wondered how he could get information back from an embedded parrot. Autrijus pointed him to
Parrot_call_sub with a signature of
SS (takes a string and returns a string).
Jerry Gay noticed that thread detatch was hanging on Win32. He provided a patch to skip it so that other tests could fail in its place. Leo applied the patch.
Perl 6 Language
Joshua Gatcomb wondered whether coroutines were invokable with new arguments on successive invocations. Some pointed out that allowing the arguments to change is a more powerful model, but I didn’t see anything definitive.
Michele Dondi wondered if there was a function composition binary operator. While one does not exist, it’s addable (as Ingo Blechschmidt demonstrated much later).
Ingo Blechschmidt wondered how state vars and parentheses would interact. Larry replied that his examples were probably correct.
Brad Bowman wondered if a single arg sub or block would automatically map when used on the sharp side of a pipe. Luke Palmer thought this might be too much dwimmery.
J Matisse Enzer wondered if Perl 6 would have strong IDE tools like refactoring supported or automated syntax completion. Larry explained that he would like to make it possible for Perl 6 to support these things “just as Perl 1 built in all the system interfaces”.
Juerd wondered what the precedence for the
reduce metaoperator was. Luke Palmer said “listop”.
Juerd wondered about piping into various things such as arrays, scalars, hashes, and filehandles. Larry gave one of his characteristically speculative answers.
Juerd wondered what “complain bitterly” meant in the context of the yada operator. Larry explained that
... would fail,
??? would warn, and
!!! would die.
Stevan Little wondered how
isa would act when called with junctions, nothing, classes, or instances. Larry explained that it would act intelligently by autothreading, returning a list of all options, returning a bool, or something I didn’t follow.
Juerd created a somewhat lengthy list of available operators, hoping to inspire someone to come up with a good operator for block labels. This led to a very meandering thread.
Some of you might be confused by my earlier meantion of a
reduce metaoperator. Larry introduced one. Much debate ensued, but Larry seems fairly set on it.
Andrew Savige wondered if he would be able to redefine built in functions such as
read in Perl 6. Larry explained that Perl 6 will give you so much rope that you could hang yourself from several trees while blowing off your own foot with it.
Gaal Yahas wondered how to open stdout or a file named “-”. Larry explained that
io() would have the dwimmy parts like opening stdout, while open would not try and dwim.
Terrence Brannon stumbled upon the phrase “adverbial blocks” but didn’t understand what it meant. Luke Palmer provided a very clear and cogent explanation.
Autrijus noticed that the autodereferencing of references would cause an infinite loop for circular refernce. Larry recanted and decided that the full on autodrill down was not as cool as he had initially thought, but he did warn us that next week he might think it was even cooler.
Ingo Blechschmidt wondered what sort of scope
$/ would have. Luke Palmer replied that it would be lexical just like Perl 5. Larry corrected him pointing out that it would actually be lexical, unlike Perl 5.
Joshua Gatcomb wondered what binding of subs’ return values would do by default. Juerd answered that it would allow modification only for subs declared as lvalues.
Aaron Sherman wondered how various scopes fatality levels would interact. Luke Palmer explained that you need to do 360s on the control pad while holding block. He also provided some thorough examples.
A while back Juerd wrote a Perl 5 script to transform the EBNF spec of XML into Perl 6 rules. Now that Pugs might be able to support it, he suggests that it would be a good project for a brave soul. No takers have yet appeared.
Aaron Sherman posted a link to his initial version of an annotated version of the mailing list. He asked for comments, but Warnock applies.
Someone who posted to Google Groups (receiving the unfortunate name mangling of
arcadi.sheh...@gmail.com) asked if it made sense to write
$a = stuff @foo, how => 'scrambled', 1, 2, 3; as
$a = :>how('scrambled') stuff @foo, 1, 2, 3; or some such. Sadly, we will never know.
Autrijus asked if he had Pugs splitting correctly. It wasn’t, but it is now.
Rod Adams announced that he found the real world intruding too much and was going to have to leave off his work on S29. Sam Vilain, Aaron Sherman, and Max Maischein all volunteered to take up the effort.
Joshua Gatcomb wondered exactly what
is chomped did. Larry Wall explained exactly what
is chomped does.
Patrick, based on his experience with PGE, suggested a slightly new syntax for character classes in Perl 6. Larry liked the syntax and went on to muse about other unresolved issues involving character classes.
Autrijus noticed that numification of match objects made strings of digits numify to 1 (i.e., true). He didn’t like this. Actually no one did, so it has changed to numify as one would expect. After all, it can numify to
0 but true.
Stéphane Payrard wondered when and how traits would interact with properties. Brent “Dax” Royal-Gordon and Larry provided answers.
Jonathan Scott Duff wondered what
(1) would do. Larry though that we would have to specialize
() to parse as
Thomas Sandlaß, Rod Adams, and Autrijus speculated about ways to deal with a Void type. Nothing definitive came out of it though.
Stevan Little wondered if there was a way to uniquely identify objects in Perl 6. Larry pointed him to the
.id and the associated
Benjamin Smith wondered if
BEGIN could modify lexicals that don’t really exist yet. Larry expressed the opinion that one should be able to modify compiler state in
BEGIN blocks; however, he did not answer the question of what Benjamin’s example does.
Patrick confused many people when he asked about the difference between
::: at the top level of rules. The answer seems to be that
::: will fail the entire match while
:: will simply fail it at that offset in the string on which it is attempting to match.
Larry noticed that
!~ will confuse English speakers when applied to junctions. Luke noticed that defining
$a != $b as
!( $a == $b ) works, averting tragedy.
Aaron Sherman worried that many built in functions return boxed types which could cause a big speed hit. Rod Adams explained that this was necessary but optimizations would be made available.
Juerd suggested using
./method to mean
$?SELF.method (in an attempt to solve the long standing debate of
$_.method). Much discussion ensued although the general response seems favorable.
Rob Kinyon noted that there seemed to be an extremely large number of operators. He expressed concern, because he had believed that P6 was going to have a small core with modules. Larry explained that most of these operators were the combination of a small set of operators and meta operators in a combinatorially explosive way, giving the wonderfully lucid example of
[>>+^=<<]. Much discussion ensued.
BUILD and submethods
Ingo Blechschmidt wanted to be sure that all appropriate submethods would be called when they should and that only the correct one would be called when they shouldn’t all be. Larry answered that it did work as he expected.
Luke Palmer was having trouble understanding the difference between
$:. Aaron Sherman prointed out a few differences according to A12.
Autrijus wondered what the signature for
not was in Perl 6. Larry explained that unlike Perl 5, Perl 6’s
not function should act like
Luke Palmer caught Autrijus off guard when he pointed out that multis could have multiple levels of
:, each of which is less important than the last. Larry surmised that they might not have documented this hard enough.
Carl Franks started a very long thread when he noted that nested captures caused extra layers in the match array rather than counting parens like Perl 5. This led to discussion of 0 vs 1 indexing. Discussion ensued, with the resulting decision that
$0 == $/. There was much rejoicing.
Autrijus wondered what path
'1.28' * '2.56' should take to arrive at 3.2768. Larry told him that infix * used prefix + to numify non-Num args.
Aaron Sherman wants to lazily load a role but only the first time it is necessary. Luke Palmer assured him that his example would work correctly.
Aaron Sherman, in his efforts to get up to speed on S29, wondered how currying would interact with default values. Larry explained that default values would not be bound until the invocation of the curried function.
Ingo Blechschmidt wondered how to define the precedence of custon infix ops. Luke Palmer pointed out the looser, tighter, and equiv traits (by default it is
equiv( &infix:<+> ) ).
The Usual Footer
Posting via the Google Groups interface does not work. To post to any of these mailing lists please subscribe by sending email to
email@example.com. If you find these summaries useful or enjoyable, please consider contributing to the Perl Foundation to help support the development of Perl. You might also like to send feedback to
Something wrong with this article? Help us out by opening an issue or pull request on GitHub