Difference between revisions of "Stateless and pure"

(New page: Proposal to have stateless routines to use the equal sign of constants, i.e. <e>f (a: STRING): SOME_TYPE = do create Result.make (a) ... end</e> With some validit...)
 
Line 1: Line 1:
 +
[[Category:ECMA]]
 
Proposal to have stateless routines to use the equal sign of constants, i.e.
 
Proposal to have stateless routines to use the equal sign of constants, i.e.
  

Revision as of 05:25, 29 June 2011

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 for redefinition: - once a routine is stateless its redefinitions have to be stateless. - a stateful routine can become stateless.