[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]


Michael Vanier [mailto:mvanier@cs.caltech.edu] wrote:
> I'm intrigued by this statement:
> [Sheep will have] automatic memory management without garbage 
> collection (linearity) ...
> Can any of the functional programming gurus expand on this?

Not a guru, but this sounds like a reference to linear types.
The basic idea is that if you can guarantee that an object
is referred to only once -- ie, it's unshared -- then storage 
management becomes much easier. 

For a non-math-y introduction, look at Henry Baker's paper
"'Use-Once' Variables and Linear Objects -- Storage Management, 
Reflection and Multi-Threading", at 


If you want to actually try this out with running code, a functional 
language that explicitly supports linear types is Concurrent Clean: 

Neel Krishnaswami