HaloO, I'm still trying to understand the concept of context in Perl6 from a typing perspective. My current interpretation let me to coin three levels of typing in Perl6: syntactic, static and dynamic. I guess the latter two are well known but the syntactic type is new---at least do I hope so. Please inform me about prior art!
Well, in a certain way I've just replaced context with 'syntactic type' to get two better understood words in there. Here's a little table summarizing the idea: type | syntactical | static | dynamic --------+-------------+------------+----------- | compiler | runtime handler +-------------+------------+----------- | parser | inferencer | dispatcher The syntactical type is strongly coupled with the sigils which serve as some minimal type information and together with whitespace, comma, semicolon and parens provide the basic tokenization. Again I'll try to express the concept in a little table: meaning | sigil | handler -------+------+-----------+-------- arity | type | :: | compile -------+------+-----------+-------- | code | & | . | 1 +------+-----+-----+ | item | $ | : | runtime -------+------+-----+-----+ 0..Inf | data | @ | % | -------+------+-----+-----+-------- access | pos | key | The Fantastic Four &[EMAIL PROTECTED] can be used to declare variables while the dotted three :: : . are syntactic markers only. The rest of the language is operator recognition and special forms for statements and declaration. Comments? -- TSa