2018年7月23日星期一

operator operand

X = [1,2;3,4;5] ≡ X = [[1,2];[3,4];5] ≡ X = [1,2] ; X = [3,4]  ; X = 5

,  ≡ ∧
;  ≡ ∨

the association of "," is prior to ";"

X = [ ] ≡ X = null

obj ‘ sub ≡ sub @ obj
obj behavior ¬≡ behavior @ obj
obj # n ¬≡ obj ‘ # n

operand operand ≡ operand * operand
operator operand ≡ operator ( operand )

the association of "*" is prior to all another operators

operator operand operand ≡ operator ( operand * operand ) 
operator operator operand ≡ operator ( operator ( operand ) ) 

f ∈ operator, ∀o ∈ (x,y): o ∈ operand
⇒ f x y ≡ f ( x * y ) ¬≡ f ( x, y )

Run-time dynamic definition example:

g ∈ operator ⊧ f(x,y,z) ≡ ( g y ) ( ( g ^ (-1) ) x y ) ,
g ∈ operand ⊧ f(x,y,z) ≡ ( f g y ) ( ( f ^ (-1) ) (y,z) )

没有评论:

发表评论