Uploaded image for project: 'FHIR Specification Feedback'
  1. FHIR Specification Feedback
  2. FHIR-27500

Improve justification for parentheses

    XMLWordPrintableJSON

Details

    • Icon: Change Request Change Request
    • Resolution: Persuasive
    • Icon: Highest Highest
    • Clinical Quality Language (FHIR)
    • 1.4
    • Clinical Decision Support
    • Introduction
    • 3.2. Logical Perspective
    • Hide

      Replace the "In addition, this approach avoids..." paragraph with:

      In addition, this approach encapsulates the application of operator precedence, type inference and implicit conversion, operator resolution and overloading, and generic type instantiation as part of the translation process.

       

      Show
      Replace the "In addition, this approach avoids..." paragraph with: In addition, this approach encapsulates the application of operator precedence, type inference and implicit conversion, operator resolution and overloading, and generic type instantiation as part of the translation process.  
    • Ivan Zapreev/Rob Hausam: 19-0-0
    • Clarification
    • Non-substantive

    Description

      The motivation that is provided is very arguable. The traditional expression languages, whatever you mean by that, do not have ambiguities. If you claim they do then please provide solid examples.

      Such languages typically have unambiguous set of presedence rules that always allow for a single interpretation. The parentheses are used in order to facilitate grouping and allow for more complex expressions.

      Last but not least, the syntax tree may still be ambiguous. It solely depends on the semantics behind. For example for a function call "F(a = a - 1, a = a + 1)" where "F(x,y) = x/y" the abstract syntax tree will be fixed, but the result of the expression will depend on the order in which the arguments of the call are going to be executed!

      So please consider re-working or even removing this argumentation.

      Existing Wording:

      In addition, this approach avoids potential ambiguity that must be resolved with operator precedence and/or the use of parentheses in traditional expression languages.

      Attachments

        Activity

          People

            bryn.rhodes Bryn Rhodes
            ivan_zapreev Ivan Zapreev (Inactive)
            Watchers:
            4 Start watching this issue

            Dates

              Created:
              Updated:
              Resolved: