File tree Expand file tree Collapse file tree 2 files changed +8
-1018
lines changed Expand file tree Collapse file tree 2 files changed +8
-1018
lines changed Original file line number Diff line number Diff line change @@ -189,8 +189,15 @@ They are the “targets” for interaction.
189189{ [+a b] @[-c d] } 
190190``` 
191191
192+ ** Intuition:**  Focus corresponds to distinguishing ** data (states)**  from ** rules/program (actions)** :
193+ 
194+ *  ** States**  (` @ ` ) = what you're computing (the data being transformed)
195+ *  ** Actions**  (no ` @ ` ) = how you compute (the rules/program that transforms)
196+ 
197+ This is like a subject-verb distinction: states are what the computation is "about", and actions are what "happens to" the states.
198+ 
192199Execution duplicates actions and fuses them with state stars until no more interactions are possible.
193- The result is a new constellation, like the “ normal form”  of computation.
200+ The result is a new constellation, like the " normal form"  of computation.
194201
195202--- 
196203
 
 
   
 
     
   
   
          
    
    
     
    
      
     
     
    You can’t perform that action at this time.
  
 
    
  
    
      
        
     
       
      
     
   
 
    
    
  
 
  
 
     
    
0 commit comments