• bearophile (14/16) May 30 2009 A blog post that shows some of the good things done by split (among the ...

bearophile <bearophileHUGS lycos.com> writes:

A blog post that shows some of the good things done by split (among the things
it does, it supports the  only  attribute that is the "unique" Bartosz talks
about):
http://ulissesaraujo.wordpress.com/2009/05/03/splint-the-static-c-code-checker/


One of the attributes supported by Split suggests me something like:

void foo(string s) outer out x {
	x = s.length;
}

After "outer" there's the list of the names of the enclosing namespace that are
used inside foo(). In this "outer out x" means that foo() overwrites x.

Knowing/stating what globals (or the outer scope) a function/method uses sounds
good.

-----------------------

JavaFX lets you bind, or link, attributes so that when one attribute changes,
all attributes bound to it will automatically change as well.<:

http://jfx.wikia.com/wiki/Introduction_to_Binding_in_JavaFX


In Python "Cellulose" is vaguely similar (but this isn't a built-in features of
the language, it's a module):
Cellulose provides a mechanism for maintaining consistency between
inter-dependant values with caching and lazy evaluation. You can think of it
like a spreadsheet program -- Many cells are are calculated from the values of
other cells. When one cell changes, all of the dependant cells get updated with
new values. However, cellulose goes quite a ways beyond this. It guarantees
that when a value is read, it is consistant with all the values it depends on.
It also is lazy (read: efficient.) Calculating a value is put off till the very
last possible moment, and only recalculated when absolutely needed. Dependency
discovery and cache invalidation are fully transparent and automatic.<

http://pypi.python.org/pypi/Cellulose/

Bye,
bearophile