News for hackers. Stuff that matters.

A comment on Total Functional Programming (2004) [pdf]. Parent comment

Re:Total Functional Programming (2004) [pdf] by mrkeen on Thursday March 07, 2024 @01:29PM (#39632734)
> Total functions are defined for all elements in its domain.

Do you include "same-output-for-the-same-input" as part of defined?

[ Parent | on HN ]
Re:Total Functional Programming (2004) [pdf] by nyrikki on Thursday March 07, 2024 @04:06PM (#39634580)
In 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.

[ Parent | on HN ]