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
