Path: news.daimi.aau.dk!news.uni-c.dk!sunic!sunic.sunet.se!news.funet.fi!news.csc.fi!news.eunet.fi!EU.net!Germany.EU.net!Dortmund.Germany.EU.net!Informatik.Uni-Dortmund.DE!margot!zardi
From: zardi@margot.informatik.uni-dortmund.de (Ahmed Zardi (LS4))
Newsgroups: comp.lang.beta
Subject: BETA-Syntax (Pattern variable and component).
Date: 22 Sep 1995 13:33:15 GMT
Organization: CS Department, Dortmund University, Germany
Lines: 20
Sender: zardi@margot (Ahmed Zardi (LS4))
Distribution: world
Message-ID: <43udur$3cr@fbi-news.Informatik.Uni-Dortmund.DE>
NNTP-Posting-Host: margot.informatik.uni-dortmund.de

1- A pattern variable in BETA has the following syntax.
        F : ##P; 
    where P (: (# ..... #);) is a pattern.
    we have a following situation.
        T : @P;
    A pattern variable assignment has the form  
        T## -> F##
    I ask why has the syntax not the form 
        T -> F.
    (Its known that F is a pattern variable and T is a pattern)

2- A dynamic component in BETA has the following syntax.
         A: ^| P;
   An instance of P my be generated by executing the 
   following imperative.
         &| P -> A
   I ask why has the syntax not the form
         & P -> A 
   (Its known that A is a dynamic component reference)