Stateless and pure

Revision as of 04:32, 29 June 2011 by Manus (Talk | contribs)

Proposal to have stateless routines to use the equal sign of constants, i.e. 

f (a: STRING): SOME_TYPE =
    do
        create Result.make (a)
        ...
    end

With some validity rules:

  • only unqualified calls to stateless features are permitted.

With some validity rules for redefinition:

  • once a routine is stateless its redefinitions have to be stateless.
  • a stateful routine can become stateless.
Retrieved from "https://dev.eiffel.com/index.php?title=Stateless_and_pure&oldid=14169"