您在這裡

Changing "states" -progressing to non-functional programming

15 一月, 2016 - 09:02
Available under Creative Commons-ShareAlike 4.0 International License. Download for free at http://cnx.org/contents/402b20ad-c01f-45f1-9743-05eadb1f710e@37.6

In the above Queen example, the locations of a Queen object and its Worker objects are subject to change. Every time a Worker ant moves its Queen, it has the side effect of changing the Queen's origin. The Queen object remains the "same". This seems like a reasonable thing to have. In the functional programming paradigm, to move the Queen, the Worker ant would have to instantiate a new Queen object with a new location and find a way to associate itself to this new Queen, which does not seem to model the "real" ant world very well. By allowing our objects to change their internal states in appropriate situations, our programming model becomes more "realistic", more efficient, and in many cases "simpler".

To further illustrate the relevance of state changes, consider the problem of moving the minimum element of a list of integers to the front of the list. Since the current IList model is immutable, we can only solve the problem by returning a copy of the original list with its minimum at the front. Below is an algorithm to solve the problem that makes use of an accumulator to accumulate the current minimum and internally updates it as the list is being traversed.

The list is assumed to hold no duplicate values.

Min2Front.java

public class Min2Front implements IListAlgo { private Integer _accMin; // accumulated min. private IListFactory _fact; public Min2Front(IListFactory f) { _fact = f; } public Object emptyCase(IMTList mtHost, Object... nu) { return mtHost; } public Object nonEmptyCase(INEList neHost, Object... nu) { // We assign _accMin the first of L as a candidate for minimum: _accMin = (Integer)neHost.getFirst(); /** * Let us consider the set S of all elements in L that precede L. * S is clearly empty. At this point we have established the following: * _accMin is an element of L and is smaller than all elements of S. * We now call on an anonymous helper to operate on L in order to find * the minimum and remove it from L. This helper will recursively * travese L to the end in order to obtain the minimum, save it in * _accMin and reconstruct the host list L without the minimum on its way * back from the recursive list traversal. */ IList withoutMin = (IList)neHost.execute(new IListAlgo() { /** *  Note: when L executes this helper, this case is called since L is * not empty. Thus for the first call to this method, h is L. * We update accMin to ensure that it is an element of L and is the * minimum of all elements in L that precedes the rest of the host * parameter h. Then we recursively call this helper on h.getRest() * to save the minimum in _accMin and create a copy of h.getRest() * that does not contain _accMin. */ public Object nonEmptyCase(INEList h, Object... nu) { if ((Integer)h.getFirst() < accMin) {_accMin = first; } /** * At this point, we have established the following invariant: * _accMin is an element of L and is the minimum of all elements * in L that precedes h.getRest(). */IList accList = (IList)h.getRest().execute(this, null); /** * By induction, _accMin is now the minimum of the whole outer * host list L, and accList is a copy of h.getRest() that does * not contain _accMin. */ if (!first.equals(_accMin)) { accList = _fact.makeNEList(first, accList); } 

In the above, the comments are longer than the code. The above code and comments can be greatly simplified if the list is mutable. What does it mean for a list to be mutable?