Walter Bright:

I'm afraid I don't understand at all what you wrote.

Perhaps reading about linear type systems could help:

http://en.wikipedia.org/w/index.php?title=Substructural_type_system&redirect=no#Linear_type_systems

Bye,
bearophile

Reply via email to