10 ms·
No, the range is in general a (possibly strict) subset of the codomain. In a typed setting, the codomain is the more natural notion. For example: twice ::
by catnaroek 10y ago
No, the range is in general a (possibly strict) subset of the codomain. In a typed setting, the codomain is the more natural notion. For example:
twice :: Integer -> Integer
twice = (2*)
Here, `twice`'s range contains just the even integers.
- dllthomas 10y agoPer Wikipedia, range is sometimes used for image (as you say) and sometimes used for codomain. That said, image probably is closer to the use in question.