3 ms·
> Total functions are defined for all elements in its domain. Do you include "same-output-for-the-same-input" as part of defined?
by mrkeen 3y ago
> Total functions are defined for all elements in its domain.
Do you include "same-output-for-the-same-input" as part of defined?
- nyrikki 3y agoIn context of This paper, where they are talking about Total forms of pure functions, yes But in general no. I could say have a total function with an internal counter that adds 1 each time it was run. That would still be a total function, but not pure.