Perl 6
SMOP Late Context Propagation: Revision 5

Perl is, historically, a context-oriented programming language. In Perl 5, the modules "overload" and "Contextual::Return" exposes the possibilities of this feature. Perl 6 takes this one step further, since the lazyness is influenced by the context in which the values are used.

The problem with all this lazyness, is that in Perl 6 it's not always possible to determine the context in which a value will be used. Perl 6 introduces the concept of Capture in place of the references in Perl 5. A reference in Perl 5 always imply scalar context, while a capture in Perl 6 is actually a way to delay the context attribution.

The most practical implication of that design is that "want" does not always have how to provide the precise information on how the value is being used.

Perl 6 also defines a new type of context, which is the Slice context, which presents some very new concepts, specially for those coming from Perl 5. For instance:

my @@slice = map { foo() } bar();

The variable @@slice will then contain a bidimensional array where the first dimension lists every map iteration, and the second dimension contains the return of each map iteration without forcing any context on each of the iterations. This means that if foo returns (1,(2,3)), you can navigate into this values in slice context, while if you get it in List context, it will be flattened to a plain list.

What is "Late Context Propagation"

Since it's so hard to figure out the context in which some value is going to be used, in SMOP "forward context propagation" is considered an optimization, and conceptually in SMOP we assume "late context propagation", which means that the value itself is responsible to support the coercion to the specific context by implementing the appropriate method calls. This means that the return of a method works like Contextual::Return. This means that the value returned by any method call should be able to be coerced to the desired contexts.

Does that mean returning proxy objects for everything?

No. The basic idea is:

  • Every Value is a readonly scalar that contains itself
  • Every Value is a List of one element that contains itself

And that is implemented simply by the fact that all values that are supposed to be used in Scalar context should implement 'FETCH' returning the value itself, while every value that is supposed to be used in List context should implement 'List', 'postcircumfix:<[ ]>' and 'elems' that returns itself for the two first items and 1 for the last.

Upload Files

Click "Browse" to find the file you want to upload. When you click "Upload file" your file will be uploaded and added to the list of attachments for this page.

Maximum file size: 50MB

File Name Author Date Uploaded Size

Save Page As

Enter a meaningful and distinctive title for your page.

Page Title:

Tip: You'll be able to find this page later by using the title you choose.

Page Already Exists

There is already a page named XXX. Would you like to:

Save with a different name:

Save the page with the name "XXX"

Append your text to the bottom of the existing page named: "XXX"

Upload Files

Click "Browse" to find the file you want to upload. When you click "Add file" this file will be added to the list of attachments for this page, and uploaded when you save the page.

Add Tags

Enter a tag and click "Add tag". The tag will be saved when you save the page.