Warning:
This wiki has been archived and is now read-only.

OptionalSyntax

From Provenance WG Wiki
Jump to: navigation, search

Possible Syntaxes for Optional Identifiers

Option Example Pros Cons Endorsers Vetoers
semi-colon after optional identifiers
used(a, e, t)
used(u; a, e, t)

entity(e,attrs)
  • Similar to existing syntax --James
  • Semi-colon may be allowed in URIs, necessitating extra spaces (???) --James
    • Note: problem is similar to comas. The syntax of qualified names should require , or ; to be %-escaped --Luc
  • Paolo
  • James
  • Luc
  • Tim

-none-

'ID' Key word
used(a, e, t)
used(ID u, a, e, t)

entity(e,attrs)
  • Close to existing notation, requiring fewer changes --James

-none-

  • James
  • Luc
  • Paolo
  • Ted

-none-

All identifiers outside brackets (in front)
used(a, e, t)
u AS used(a, e, t)

e AS entity(attrs)
  • Makes the distinction between identifier and "data" arguments much clearer; looks like a type declaration. --James
  • Requires more global changes to examples --James
  • Coming from a lisp tradition ... I like to navigate expressions along bracket. --Luc

-none-

-none-

All identifiers outside brackets (at the back)
used(a, e, t)
used(a, e, t)  WITH u

entity(attrs) WITH e

-none-

  • Coming from a lisp tradition ... I like to navigate expressions along bracket. --Luc

-none-

-none-

All identifiers outside brackets (at the back), with ID keyword
used(a, e, t)
used(a, e, t)  ID u

entity(attrs) ID e

-none-

  • Coming from a lisp tradition ... I like to navigate expressions along bracket. --Luc
  • Paolo

-none-