Tuesday, April 24, 2012

Modeling time with identities

An identity represents a series of values over time. Each identity can be associated with an equivalence class which describes the properties of the object that are conserved through transformations over time. If the equivalence class has only one element, then an identity represents a constant value.

I would like to propose that the conservative transformations model is more efficient then the write-once model that is common to the functional programming community. An identity is associated with an object that undergoes a series of property conserving transformations over time. For example, in physical systems mass and energy are conserved through transformations.

No comments:

Post a Comment