On Wed, Mar 23, 2011 at 3:55 PM, Jonathan S. Shapiro <[email protected]> wrote: > It occurs to me that the problem with my length example isn't really about > mutability or purity at all. It's about the fact that the type system is > insufficiently precise about lifetime analysis.
OT and just out of curiosity, are there extant systems that let the developer annotate those interdependencies? some things that come to mind: * getter/setter properties in c#. * dataflow or reactive linking of things. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
