[bitc-dev] Syntax: Procedure application

[David-Sarah Hopwood]

Jonathan S. Shapiro wrote:
> On Sat, Mar 7, 2009 at 9:27 AM, David-Sarah Hopwood
> <david.hopwood at industrial-designers.co.uk> wrote:
>> Unicode has a recommended syntax for identifiers that would exclude '+'.
> 
> We're using this now.
> 
>> Symbols and punctuation each correspond to a General Category.

I should have said that they each correspond to a "major class".

> Are they a single general category, or is there a category for each?

Symbol, math
Symbol, currency
Symbol, modifier
Symbol, other

Punctuation, connector
Punctuation, dash
Punctuation, open
Punctuation, close
Punctuation, initial quote
Punctuation, final quote
Punctuation, other

Symbol and Punctuation are major classes. See section 4.5 of the
Unicode standard.

> I know how to find out; I simply have not looked.
> 
> What category, for example, is the "forall" symbol in?

Unsurprisingly: Symbol, Math. The category assignments are pretty
intuitive, and have a strong stability policy between Unicode versions,
so they're quite suitable for defining syntax.

-- 
David-Sarah Hopwood ⚥