n s t a d d = f u n c t i o n ( o p e r a n d 1 , o p e r a n d 2 ) { r e t u r n o p e r a n d 1 + o p e r a n d 2 } a d d ( { } , { } ) a d d ( { } , [ ] ) a d d ( " " , { } ) a d d ( " " , [ ] ) a d d ( 1 + " " ) a d d ( 1 + [ ] ) a d d ( 1 + { } ) a d d ( 1 , 1 )
TYPING A type is a classi cation identifying one of various types of data, such as real, integer or boolean, that determines the possible values for that type, the operations that can be done on values of that type, the meaning of the data, and the way values of that type can be stored.