GitLocker: The Coding Marketplace

Description:

programmabletuple 0.5.0

Adding the programmability of normal classes to named tuples

In essence, the programmable tuple base in this module is able to make
user-defined classes in Python has got the immutability of named tuple, while
retaining the programmability of user-defined classes at the same time. Merely
minimal change to the code for class definition is needed, and a lot features
for normal classes definition, like methods and inheritance, are supported.
The basic motivation for this is to make code more secure and less error-prone
for objects that does not frequently need to be mutated during its life time,
especially when we do not want to relinquish the extensibility and
programmability of normal classes by changing to use the austere tuples.

Basic usage

Fields
The programmable tuple is directly modelled after the named tuple class in the
standard library. So unlike plain user-defined classes with an extensible
__dict__, the instances could only have a set of pre-defined fields for
each class. Since instances cannot be changed after the initialization, all
the information about an instance needs to be given to the initializer. So the
arguments to the initializer uniquely define values of the programmable tuple.
Hence they are called the defining fields of the class. Besides the defining
fields, additional fields can be added to the class instances to hold some
other essential data. These fields are going to be termed the data fields.
This can be achieved by assigning a list of names to the __data_fields__
attribute of the class, in the same way as the __slots__ attribute is
used. And the actual value for the data fields can be set in the initializer
in the same way as normal. For example, to define an programmable tuple for
people to store their first and last name, and we would like the instances to
carry the full name with comma separation for alphabetization, we can just
define
class Person(ProgrammableTuple):
__data_fields__ = ['full_name']
def __init__(self, first_name, last_name):
self.full_name = ', '.join([last_name, first_name])
Then in this way, if we make an instance by running Person('John', 'Smith'), the values of all the fields, defining fields and data fields, can
all be able to be retrieved by using the dot notation, like p.full_name.
Note that if some fields are desired to be hold private, the same underscore
convention of python could be used. Just it is not advised to keep defining
attributes private.
For the fields, there are two keyword arguments that can be used for the class
creation. The auto_defining argument, which is True by default, controls
the automatic assignment of the defining fields to the self object in the
initializer before the actual invocation of the user-defined initializer. For
fields that is not explicitly given a value in the initializer,
default_attr argument can be set to a function that returns the default
value to set when given the name of the field as a string.
Note that although there is no compulsory requirement that the values set to
the defining fields should match the argument that is given to the initializer,
it is advised that at least the defining fields can be used to reproduce the
object. For instance, for a class named A with fields a and b, it
is a good practice to keep A(spam.a, spam.b) == spam for any instance
spam of the class A, while spam.a does not need to match the
argument a that was used for creating spam. Frequently the argument
will accept a wide range of types for the argument, but a specific form is
going to be stored as the attribute. This form can be termed the canonical form
for that argument. For example, the initializer could allow any iterator for a
defining field, but it is better to cast it to a tuple to be stored in the
immutable object. Then the tuple form of the elements is the canonical form of
that argument. It does not need to match that actual argument used for its
creation but it is always able to reproduce the value. For cases where most of
the defining fields are just taken to be the value from the argument, the
auto_defining option can be set to True to save the lines of code. But
for cases where almost all arguments need to be cast and specifically assigned,
that option can be turned off to save of overhead of the automatic assignments.

Methods
Methods can also be defined for programmable tuples with exactly the same
syntax as the normal user-defined classes. Just here the only place where
self could be mutated is in the __init__ method, any attempt to mutate
self would cause an error in any other method. So the methods here should
be ones that concentrates more on the return value rather than mutating the
state of the object. Due to this apparent deviation from the classical
Smalltalk-style object-orientated programming, the methods normally could be
clearly defined outside the class as a normal function, and then then we can
forward them into the class for convenience. For instance, if we have got a
class for symbolic mathematical expressions and a function to compute the
derivative with respect to a symbol, we could do
def diff_expr(expr, symb):
"""Compute the derivative w.r.t. a symbol"""
... ...

class Expr(ProgrammableTuple):
... ...
diff = diff_expr
... ...
In this way, to differentiate an expression e with respect to a symbol
x, we could do both e.diff(x) and diff_expr(e, x). It only needs to
be noted that for functions that is intended to be used as a method as well,
the argument to be used as self needs to be put in the first slot. Of
course methods can be kept in the class only as normal if it is desirable.

Non-destructive update
Frequently we need values of user-defined class that is different from an
existing value by relatively small amount. With mutable class, frequently this
is achieved by mutating the instance. However, here the instances are no
longer mutable. So methods to update instances non-destructively are provided.
Note that these methods will return new instances with the field updated and
leave the original value intact, in the same way as the Haskell records works.
Basically two methods are provided for this purpose, _update and
_replace. Both of them takes keyword arguments with the keys being the name
of the field to be updated and values being the new value. But for the
_update method, only defining fields are able to be updated, and more
importantly, a new instance will be created by using the updated defining
fields through the initializer. At the same time, the _replace method
will just perform a plain replacement of a particular field without going
through the initializer again, and it works for both defining and data fields.
Both of these two methods are named with an initial underscore, this is not
only an attempt to be consistent with the named tuple in the standard library,
but an encourage to use them only in methods as well. Then then wrapping
methods could carry the actual semantics of the update operation.

Inheritance
Programmable tuple classes can inherit from other programmable tuple classes.
And this inheritance has been made to be as similar to the plain mutable
classes as possible. Instances of subclass are instances of the corresponding
superclass and has access to all the methods of the superclass. There is just
one notable difference, in the initializer, the built-in super function is
not working as before. To call the initializer of superclass, we can either
use self.super().__init__ instead, or we can name the superclass
explicitly, like SuperClass.__init__(self, args).

Miscellaneous
Instances of an programmable tuples with all the defining fields hashable are
hashable. The default hashing function is the default hashing of the tuple
formed by the class identity and the defining fields.
Instances are all picklable.
As the named tuple, classes of this metaclass will carry an _asdict method
to convert the instance to dictionary. The method comes with two keyword
arguments, full can be used to make the dictionary contain the data fields
as well, and ordered can be used to return an ordered dictionary instead.
Both of the two default to false.