A general comment related to Rosetta is that it should be simple to read even for non Eiffel reader

And I feel  that
ackerman (m: NATURAL; n: NATURAL): NATURAL

is easier to read that the one using anchor type