Jonathan S. Shapiro
shap at eros-os.com
Mon Jan 29 06:05:50 CST 2007
On Mon, 2007-01-29 at 11:56 +0100, Pierre THIERRY wrote:
> The current BitC specification says that identifiers are made of
> XID_Start and XID_Continue Unicode characters. But the ':' character is
> used to denote type, and the polyinstantiation algorithm use '#' to
> separate the polymorphic name and the signature. Shouldn't such
> characters be excluded form the allowed characters in identifiers names,
> or did I miss the fact that they are neither in XID_Start nor in
These should not be in either XID_Start or XID_Continue.
XID_Start is "alphabetic characters". XID_Continue is "alphabetic and
> Also, as you're finally settling for a Lisp syntax, would you be open to
> avoid the use of infix operators like ':' (in favour of the prefix
> operator 'the' in this case)?
No. We will retain the prefix operators, but the very limited set of
infix operators that we currently have is too useful to give up.
Note, however, that there is a purely syntactic rewrite from the infix
operators to the prefix operators. This syntactic rewrite can be done
even before symbol analysis as long as the input is well formed.
Jonathan S. Shapiro, Ph.D.
The EROS Group, LLC
+1 443 927 1719 x5100
More information about the bitc-dev