2 ;;Quote: computer scientists stand on each other's toes

QuoteRef: wulfWA4_1974 ;;4 "a form can be instantiated simply by mentioning its name together with any requisite actual parameters" eg decl x: complex

4 ;;Quote: instantiating 'complex' instantiates two instance of the form 'real' with the names 'r' and 'i'

QuoteRef: wulfWA4_1974 ;;4 the colon ":" is the general binding operator

5 ;;Quote: if a function's parameter requires additional rights, then all callers must indicate those rights.

QuoteRef: wulfWA4_1974 ;;6 names may be common or unique -- e.g., a common element pool with unique head for each list

QuoteRef: wulfWA4_1974 ;;7 every form has a create and destroy function for own and local instantiations

8 ;;Quote: the syntax of a literal defines a calculation that converts a print name into an internal value

8 ;;Quote: a literal is a constant variable whose value is suggested by its print name

QuoteRef: wulfWA4_1974 ;;8 declare forms with type returned eg form a(x:int):int= and b:a(5) b is an integer. form a= is same as form a:a =

QuoteRef: wulfWA4_1974 ;;9 association operator to see a storage cell as being more than one type