Day 3: static types and multi subs


The third box is ready for opening this Advent. Inside…well, looks like two gifts! Inside the box are static types and multi subs.

In Perl 5, $scalar variables could contain either references or values. Specifically, the values could be anything. They could be integers, strings, numbers, dates: you name it. This offers some flexibility, but at the cost of clarity.

Perl 6 is going to change that with its static types. If you want a particular variable, you place the type name in between my and $variable-type. As an example, to set up a variable to be an Int, one can do this:

my Int $days = 24;

Other static types are as follows:

  • my Str $phrase = "Hello World";
  • my Num $pi = 3.141e0;
  • my Rat $other_pi = 22/7;

If you still want the old behavior of the variables, you can either choose not to declare a static type or use Any instead.

This gift can easily go hand in hand with the second gift inside the box today: multi subs. What exactly are multi subs? In short, multi subs allow for the overloading of sub names. While multi subs can also do so much more, those are gifts for another day. For now, here are some subs that can be useful:

multi sub identify(Int $x) {
    return "$x is an integer.";

multi sub identify(Str $x) {
    return qq<"$x" is a string.>;

multi sub identify(Int $x, Str $y) {
    return "You have an integer $x, and a string \"$y\".";

multi sub identify(Str $x, Int $y) {
    return "You have a string \"$x\", and an integer $y.";

multi sub identify(Int $x, Int $y) {
    return "You have two integers $x and $y.";

multi sub identify(Str $x, Str $y) {
    return "You have two strings \"$x\" and \"$y\".";

say identify(42);
say identify("This rules!");
say identify(42, "This rules!");
say identify("This rules!", 42);
say identify("This rules!", "I agree!");
say identify(42, 24);

There is plenty to take advantage of with these two gifts. Try playing around with them, and keep coming back to our tree for more gifts that can use these features to their fullest extent. ☺

Tags: , ,

11 Responses to “Day 3: static types and multi subs”

  1. bened Says:

    There’s an error in the code: identify(Str $x, Int $y) prints $x as the Ineger too (really confusing at first :).

  2. wolfman2000 Says:

    Silly mistake. The elves must not have packaged the fits in right. Either way, it should be fixed now.

  3. bened Says:

    I forgot to mention: Great entry! I’m really anxious to see where optional static typing will lead the community code-wise.

  4. Chris Says:

    Quick question Multi-sub are simple multiple dispatch based on the argument types, right?

  5. Moritz Says:

    Yes. Though contrary to C++ the dispatch happens at run time, so it considers the actual type of the arguments, and not the (generally broader) type known at compile time.

    • Sørensen Says:

      If you had a string of digits (say, read in from a config file), would those be recognized as of type Int at runtime..? How does the runtime dispatch system figure out types and castings if you don’t specify them at compile time? Maybe I misunderstood your comment…

      • Moritz Says:

        No, a string of digits is still a string. The multi dispatcher doesn’t do any type conversions for you.

        What I meant is the following: You have a type A, and B inherits from A. If you have a variable with type constraint A, but it contains a B, then C++ dispatches with the type constraint (A), while Perl 6 dispatches with the actual type (B). My attempt to make it more concrete:

        class A { };
        class B { };
        multi sub f(A $x) { say 'A' }
        multi sub f(B $x) { say 'B' }
        my A $x =;
        f(b)   # says B

        And in C++:

        #include <iostream> 
        using namespace std;
        class A { };
        class B : public A { };
        void f(A x) { cout << "A\n"; }
        void f(B x) { cout << "B\n"; }
        int main (int argc, char** argv) {
            A obj = B();
            f(obj); // prints A
            return 0;
      • Sørensen Says:

        Ok ok, that makes a lot more sense than what I was thinking. That’s a good example, too. I haven’t before seen Perl 6 classes used in a constraints-based manner, only in a more inheritance-based manner (like C). Very cool! I guess I should just sit down and read the synopses…

  6. День 3: статические типы и мульти-функции | Ky6uk's Blog Says:

    […] на русский язык третьей статьи из цикла Perl 6 Advent Calendar. Пришло время открыть третью […]

  7. Perl 6 Advent Calendar на русском | Ky6uk's Blog Says:

    […] циклов, операторах форматирования, статических типах, мета-операторах и приемах […]

  8. 扶凯 » [Perl6] static types and multi subs Says:

    […] By wolfman2000: […]

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s


Get every new post delivered to your Inbox.

Join 49 other followers

%d bloggers like this: