Changes between Version 11 and Version 12 of PrefixMinusResolution


Ignore:
Timestamp:
Jul 14, 2010 12:36:31 PM (5 years ago)
Author:
maeder
Comment:

added python reference

Legend:

Unmodified
Added
Removed
Modified
  • PrefixMinusResolution

    v11 v12  
    9191Other specification languages (like HasCASL) do so, too. For instance the logical prefix negation binds stronger than logical connectives but weaker than infix equality or other comparisons. (This does not apply to the "not" in Haskell, because "not" is a plain function, no operator). 
    9292 
     93Python's power operator binds more tightly than unary operators on its left, http://docs.python.org/reference/expressions.html, -1**2 results in -1. 
     94 
    9395My point 3. is backed by the fact that "in case of doubt" prefix application should bind stronger than infix application. 
    9496