So, 2012 is here, and here’s my first Perl 6 post of the year. Welcome! :-)
2011 brought us a faster Rakudo with vastly improved meta-programming capabilities, the first work on exploring native types in Perl 6, the start of a powerful type-driven optimizer and many other bits. It also took me to various conferences and workshops, which I greatly enjoyed. I’d like to take a moment to thank everyone involved in all of this!
This was all great, but slightly tainted by not managing to get a Rakudo Star distribution release out based on a compiler release with all of these improvements. I’d really hoped to get one out in December. So what happened? Simply, there were a certain set of things I wanted to get in place, and while many of them got done, they didn’t all happen. While the compiler releases are time based – we do one every month – the distribution releases are more about stability and continuity. By the time I headed back to the UK to spend Christmas with family, we were still missing a some things I really wanted before a Star release was done. Given the first thing that happened when I started relaxing a little was that I immediately got unwell, I figured I should actually use my break as, well, a break – and come back recharged. So, I did that.
So, let’s try again
So, the new goal is this month. I’m happy to report that in the week since I’ve got back to things, one of the things I really wanted to sort out is now done: Zavolaj, the native calling library, now does everything the pre-6model version of it did. In fact, it does a heck of a lot more. It’s even documented now! It’s also far cleaner; the original implementation was built in the space of a couple of days with mberends++ while I was moving apartment, and was decidedly hacky in places. The missing bits of the NativeCall library were important because they are depended on by MiniDBI, and I really didn’t want to ship a Rakudo Star that can’t connect to a database. So, next up is to make sure that is in working order. I’m not expecting that to be difficult.
That aside, there were some things to worry about in Rakudo itself. I’ve dealt with some of those things in the last week, and perhaps the one important remaining thing I want to deal with before Star is a nasty regex engine backtracking related bug (I’ve been hoping pmichaud++, the regex engine guru, might appear and magic it away, but it seems it’s going to fall on my plate). But overall, we’re well on track to cut the Star release this month.
What’s the direction for the year ahead?
During 2011, Rakudo underwent a significant overhaul. It was somewhat painful, at times decidedly not much fun, but ultimately has been very much worth it: many long standing issues have been put to rest, performance has been improved and many things that were once hard to do are now relatively easy or at least accessible.
I think it goes without saying that we won’t be doing any such wide-ranging overhaul in 2012. :-) The work in 2011 has opened many doors that we have yet to walk through, and 2012 will see us doing that.
At a high level, here’s what I want:
- Less bugs, more stability: mostly this is about continuing to work through the ticket queue and fix things, adding tests as bugs are fixed to ensure they stay fixed.
- Better error reporting: there are things in STD, the Perl 6 standard grammar, that allow it to give much more informative error reports on syntax errors than we often can in Rakudo today. I want us to bring these things into Rakudo. Additionally, there’s plenty of improvements to be made in runtime errors. Furthermore, I want to expand the various bits of static analysis that I have started doing in the optimizer to catch a much wider range of errors at compile time.
- Run programs faster: this process is helped by having decent profiling support these days. There’s a lot more to be done here; the optimizer will help, as will code generation improvements.
- Compile programs faster: this will come from more efficient parsing and greatly improving the quality of the code NQP generates (NQP is the language we write much of the compiler in)
- Shorter startup time: this mostly involves finishing the bounded serialization work up. I think the best way to describe this stuff is “fiddly”.
- Use less memory: Rakudo has got faster in no small part thanks to being able to understand its performance through profiling. Our understanding of its memory consumption is much more limited, which makes it harder to target improvements. That said, I’ve some good guesses, and some ideas for analyzing the situation.
- More features: while being able to do the things Rakudo can do today faster and with less bugs would give a very usable language for quite a lot of tasks, there’s still various features to come. In particular, Rakudo’s support for S05 and S09 needs work.
- VM Portability: we’ve made good progress towards being able to make a serious stab at this over the last year, while at the same time also managing to perform vastly better on Parrot too. With help from kshannon++, I’m currently working on completing the switch to QRegex (a regex engine with NFA-powered LTM, and written in NQP rather than PIR), which should carry on a pattern of simultaneously increasing performance and portability. Beyond that will be an overhaul of our AST and code generation, with the same goal in mind.
So, lot’s of exciting things coming up, and I look forward to blogging about it here. :-)
A way to help
There are many ways to get involved, depending on what you’re interested in. One way is to take a look at our fixed bugs that need tests writing. At the time of writing, just short of 100 tickets are in this state. No guts-y knowledge needed for this – you just need to understand enough Perl 6 (or be willing to learn enough) to know what the ticket is about and how to write a test for it. Drop by #perl6 for hints. :-)
I really love reading this stuff.
Thank you for the entertaining & positive sounding report.
It is so good to hear that Perl6 is NOT,
“(But now) the Champion of All Time is getting battered and bruised
The blows come raining down
He’s standing there terrified to lose
But he’s punch-drunk and he’s going down”
(From http://www.youtube.com/watch?v=FLtwEMnQdTA [“States radio”, New Model Army. Remember, there is no question that the ‘champion of all times’ was not the champion.)
General question. Are nqp/rakudo guts ‘too hard’ to hack on? Is that why the rakudo dev bus number is so low? If so, can anything to be done about that?
I’d love to make things more accessible, and it is something I keep in mind. I try to leave behind a decent amount of commentary on what things are doing why things are they way they are, for example. I’m always open to suggestions on how to do better here – because I’d really like more contributors.
At one point, you often had to know PIR (Parrot’s intermediate language) to contribute, but these days that’s not really true; knowing Perl 6 itself is enough to hack on the built-ins, and the grammar, actions and so forth are written in NQP – a Perl 6 subset. So generally, from a language knowledge point of view, you can go along way knowing Perl 6 (and which bits of Perl 6 works out in NQP).
That’s just one angle, though. Even if you are comfortable with the languages themselves, writing things like regex compilers, optimizers, etc. are conceptually non-trivial. Other things – like building ASTs from syntax, or tweaking things in the meta-objects – are not so tricky really, but I suspect suffer from sounding harder than they really are. Writing compilers isn’t really harder than a lot of other programming, but it’s a different and often less familiar domain. I’m not quite sure what to do about that, other than sitting with people at hackathons who are interested and explaining things to them, or answering questions on #perl6.