Changes between Version 25 and Version 26 of ExpressionSyntax

Timestamp:

2017-09-14 11:23:18 (8 years ago)

Author:

archibald

Comment:

--

ExpressionSyntax

@@ -38 +38 @@
 OK, well if we sp;it the operators into monadic, diadic or both then hat '''might''' help things somewhat.
 {{{
-infixMonadics := ( "-" | "!" );
+infixMonadics := ( "-" | "!" | "++" | "--" );
 
 infixDiadics := ( "+" | "-" | "*" | "/" | "%" | ":=" | "==" );
 
 infixTriadic := "?";
+
+postfixMonadics := ( "++" | "--" );
 
 typename := lexicalIdent [nameSpaceEnvironmentTypeCheck(LEX)];
@@ -54 +56 @@
   | ( infixMonadics expression
     | bracedMonadic "(" expression ")"
-    | expression 
+    | expression
     )
+    ( postfixMonadics )
     ( ( inFixDiadics expression
       | infixTriadic expression ":" expression 
@@ -72 +75 @@
 }}}
 
+This assumes that each data element ( variable/attribute ) has a number of descriptive values
+* identifier   // the name
+* type         // the type it represents
+* organisation // the overlying set organisation
+* mutability   // whether the value can be modified or not
+
 == (7.1) [wiki:WhatAboutIdentifiers What about identifiers (Expression Syntax) ?] ==