Sat May 12 18:48:59 CEST 2007


in a linear language, data is owned by only one object. to my big
surprise, this works really well. it is natural to 'move' and 'dup'
data in forth, instead of implicitly storing a reference as in lisp.

except for indexing.

when you have a set of objects, and want to augment that set with an
index (a dictionary), you're stuck. it doesn't work. there are no
shortcuts. you need to include the index in the data structure.;

this seems kind of strange.

first i need to clarify something. of course, i am cheating.  it's
possible to use varaibles in PF, so it's not really linear: varaibles
are just pointers, and there can be more than one reference. so why
can't i use a data structure of pointers?

because a variable is guaranteed to be static. generic pointers to
list atoms are not. delete the list and the pointer becomes stale.

before i go writing a new core of pf, i need to read a bit more about
these things. i dont think i fully understand yet.