[bitc-dev] Syntax of effect types (with request for input)
Jonathan S. Shapiro
shap at eros-os.com
Wed Aug 6 13:27:28 CDT 2008
On Wed, 2008-08-06 at 12:36 -0400, Swaroop Sridhar wrote:
> I think % is a good choice. Since effect variables are written as
> '%[a-z0-9_], the % symbol can be used independently as an identifier
> right? that is, % can still be used for mod operation?
I haven't looked to see whether % is a legal extended identifier
character, but I think it is, and if so the answer is "yes".
ALL: I just changed the definition of legal type variable identifiers so
that the only legal extended character in a type variable name is '_'.
> We can also consider ''a.
Swaroop: sometimes I think that your sense of aesthetics was surgically
removed at birth.:-) Any syntax involving *either* ' or % is awful. But
'' defies readability (easily confused with ") and ', can be confused
for LISP macro-splicing. Also, it makes me cringe, but that's not a
reason to reject it.
And you can quote me on that.
Proposal: since Swaroop's goal is to make ever increasing use of
punctuation, I think we should short-circuit the process by removing all
use of digits and alphabetic characters...
More information about the bitc-dev