RE: [TED] ACTION-294: Propose a treatment of sequences

• From: Boley, Harold <Harold.Boley@nrc-cnrc.gc.ca>
• Date: Tue, 19 Jun 2007 11:18:31 -0400
• To: "Sandro Hawke" <sandro@w3.org>
• Cc: "RIF WG" <public-rif-wg@w3.org>
• Message-ID: <E4D07AB09F5F044299333C8D0FEB45E903BA1465@nrccenexb1.nrc.ca>

Sorry, a 'uniformly positionalizing' full striping of the examples
leads to the following (Nil is now also marked up as a Const):

<Pair>
  <arg index="1"><Const>a</Const></arg>
  <arg index="2">
    <Pair>
      <arg index="1"><Var>Y</Var></arg>
      <arg index="2">
        <Pair>
          <arg index="1"><Const>c</Const></arg>
          <arg index="2"><Const>Nil</Const></arg>
        </Pair>
      </arg>
    </Pair>
  </arg>
</Pair>

<List>
  <arg index="1"><Const>a</Const></arg>
  <arg index="2"><Var>Y</Var></arg>
  <arg index="3"><Const>c</Const></arg>
</List>

Yes, with <rest> we have a slightly different serialization
for the last role tag:

<List>
  <arg index="1"><Var>head</Var></arg>
  <rest><Var>tail</Var></rest>
</List>

For [?first ?second | ?tail] we would have this:

<List>
  <arg index="1"><Var>first</Var></arg>
  <arg index="2"><Var>second</Var></arg>
  <rest><Var>tail</Var></rest>
</List>

-- Harold


-----Original Message-----
From: Sandro Hawke [mailto:sandro@w3.org] 
Sent: Tuesday, June 19, 2007 8:43 AM
To: Boley, Harold
Cc: RIF WG
Subject: [TED] ACTION-294: Propose a treatment of sequences


"Boley, Harold" <Harold.Boley@nrc-cnrc.gc.ca> writes:
> <List>
>   <Var>head</Var>
>   <rest><Var>tail</Var></rest>
> </List>

That's not fully striped, right?    In fact, the <List> element requires
different serialization in general, I think.

      - s

Received on Tuesday, 19 June 2007 15:18:41 UTC