Abstract type: Difference between revisions

m
J: punctuation
m (J: elaborate "general case" statement)
m (J: punctuation)
Line 437:
J does not support abstract types, as defined here. In J, types are typically treated as a necessary evil, which should be disguised, hidden, neglected or ignored wherever practical. (2=1+1 regardless of the type of 1 and the type of 2.)
 
Types are sometimes thought of as being related to function domains,. but But, in the general case, domains of independently defined functions are independent of each other, and the intersections of these domains may or may not be empty.
 
=={{header|Java}}==
6,962

edits