<p dir="ltr">Salut,</p>
<p dir="ltr">Ideea e sa mut reduce-urile sa fie pe cazuri particulare ale combinatiilor (de exemplu cazuri particulare de precedenta) in loc sa raman pe gramatica generala, nu?</p>
<p dir="ltr">Mersi,<br>
Marius</p>
<div class="gmail_quote">On Nov 8, 2015 9:07 PM, "Bogdan Nitulescu via cpl" <<a href="mailto:cpl@cursuri.cs.pub.ro">cpl@cursuri.cs.pub.ro</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
  
    
  
  <div bgcolor="#FFFFFF" text="#000000">
    Salut, <br>
    <br>
    Ce zici tu este ca e dificil sa faci diferenta intre dispatch si
    vector. Dar interpretarea nu este ambigua, se poate determina din
    context. De exemplu, sa luam urmatoarele expresii:<br>
    <br>
    [id] - nu poate fi decat dispatch , [] care nu este precedat de o
    expresie nu e index<br>
    expr[id] - nu poate fi decat index <br>
    [id1 [id2]] - e interpretat unic ca dublu dispatch, id1(id2())
    intr-un limbaj C-like;<br>
    [id1[id2].id3] - nu poate fi decat un dispatch + index
    (id1[id2]).id3() in  C++<br>
    <br>
    Un parser care recunoaste asa ceva e un pic mai complex, si daca e
    nevoie, poti folosi o solutiionare implicita a unui conflict
    shift-reduce, cu reguli de precedenta, la un moment dat; si
    prelucrari pe arborele sintactic rezultat in urma parserului, daca
    nu gasesti alta solutie.<br>
    <br>
    (BTW, Testele pe care le-am pus noi pentru tema sunt un pic mai
    permisive si nu acopera chiar toate cazurile de mai sus)<br>
    <br>
    Bogdan<br>
    <br>
    <div>On 11/8/2015 4:42 PM, Marius Ungureanu
      via cpl wrote:<br>
    </div>
    <blockquote type="cite">
      <p dir="ltr">On Nov 8, 2015 4:43 AM, "Marius Ungureanu" <<a href="mailto:therzok@gmail.com" target="_blank"><a href="mailto:therzok@gmail.com" target="_blank">therzok@gmail.com</a></a>>
        wrote:<br>
        ><br>
        > Salut,<br>
        ><br>
        > Avem cazul in care avem un dispatch, iar primul argument
        este de tip substring:<br>
        ><br>
        >  * Caz real: [hello [3, 5].length]<br>
        >  * Caz teoretic: [expresie argument]<br>
        ><br>
        > Gramatica define ambigua in acest context pentru ca am avea
        2 cazuri<br>
        > de conflict:<br>
        ><br>
        > [expresie <inceput de dispatch>]<br>
        > sau<br>
        > [expresie_substring]<br>
        ><br>
        <br>
        Vreau sa clarific. Poate sa faca shift si sa intre in continuare
        de substring sau face reduce pentru ca incepe un dispatch si va
        parsa urmatorul termen.</p>
      <p dir="ltr">[hello[</p>
      <p dir="ltr">Poate fi:</p>
      <p dir="ltr">[expresie <inceput argument dispatch>]<br>
        [expresie <inceput substring>]</p>
      <p dir="ltr">Nu vad nicio solutie prin care se poate rezolva
        ambiguitatea in Bison, ambele cazuri fiind pertinente si nefiind
        vorba de prioritate a operatorilor de stanga (avand aceeasi
        prioritate definita in manual).</p>
      <p dir="ltr">Acelasi conflict exista si pentru implementarea
        vectorilor.</p>
      <p dir="ltr">O solutie care ar fi simpla din punct de vedere
        sintactic, dar ar schimba toata tema ar fi ca primul argument al
        unui dispatch sa fie delimitat de metoda apelata printr-un
        separator. I.e. ':' cum face si objc.</p>
      <p dir="ltr">Multumesc,<br>
        Marius</p>
      <br>
      <fieldset></fieldset>
      <br>
      <pre>_______________________________________________
cpl mailing list
<a href="mailto:cpl@cursuri.cs.pub.ro" target="_blank">cpl@cursuri.cs.pub.ro</a>
<a href="http://cursuri.cs.pub.ro/cgi-bin/mailman/listinfo/cpl" target="_blank">http://cursuri.cs.pub.ro/cgi-bin/mailman/listinfo/cpl</a>
</pre>
    </blockquote>
    <br>
  </div>

<br>_______________________________________________<br>
cpl mailing list<br>
<a href="mailto:cpl@cursuri.cs.pub.ro">cpl@cursuri.cs.pub.ro</a><br>
<a href="http://cursuri.cs.pub.ro/cgi-bin/mailman/listinfo/cpl" rel="noreferrer" target="_blank">http://cursuri.cs.pub.ro/cgi-bin/mailman/listinfo/cpl</a><br>
<br></blockquote></div>