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)