[Grace-core] Inconsistent declaration syntax

Andrew P. Black black at cs.pdx.edu
Fri Aug 3 16:23:05 PDT 2012


Grace's main declaration syntax is

	def name = <expr>

but for classes we have the shorthand

	class name.meth(..) { ... }

and for types we have the shorthand

	type name = { ... }


It would make more sense to me to use the same notational convention for types as for classes, or for values  This means that we would either write

	def name = type { ... }
	def name = T1 & T2

or

	type name <type-expr>


Could either of these be made to parse?  What do you think?

	Andrew



More information about the Grace-core mailing list