145 ms·
> If you take any current functional language, and add the criteria that it must only use pure functions, then Int->Int is the same as described in the Total La
by anon291 3y ago
> If you take any current functional language, and add the criteria that it must only use pure functions, then Int->Int is the same as described in the Total Language.
The function above is pure. In fact, all functions in Haskell are, even those returning IO.
- FrustratedMonky 3y agoThen they are also 'total' by some definitions. So they would match the criteria of the original post? By some definitions, to be 'pure' includes being 'total'. Guess, back to original question. The ideas in this paper from 2004, seems to have been incorporated into more common languages like Haskell in 2024.