Stateless and pure: Difference between revisions
Jump to navigation
Jump to search
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... |
No edit summary |
||
| 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 13: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.