Abstract type: Difference between revisions
m
→{{header|J}}
m (→{{header|F Sharp|F#}}: typo) |
m (→{{header|J}}) |
||
Line 474:
=={{header|J}}==
J does not support abstract types, as defined here. In J, types are typically treated as a necessary evil, which should be minimized, disguised, hidden, neglected or ignored wherever practical. (2=1+1 regardless of the type of 1 and the type of 2.) And allowing user defined types
Note also: Types are sometimes thought of as being related to function domains. 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.
| |||