const

[Leandro Lucarella]

Walter Bright, el 27 de marzo a las 17:08 me escribiste:
> Darryl Bleau wrote:
> >Could you expand on how this would help? Is it as simple as being able
> >to guarantee that certain data is not going to be altered, thusly
> >removing any need for guard locks et al?
> 
> I won't pretend I have any details worked out. But if you look at functional programming, 
> a key reason why it's so well suited to multiprogramming is a function can be GUARANTEED 
> that its arguments will not be altered asynchronously. Furthermore, you can GUARANTEE that 
> one function has no timing dependencies on another function.

The key in functional programming languages is their ability to know when
a function don't have side effects (basically if you call a function with
the same arguments, you'll get the same results, including the global
state). When you don't have side effects you can easily implmente such
things as transactional memory[1].

[1] http://en.wikipedia.org/wiki/Software_transactional_memory
    A nice video of Haskel implementation of STM:
    http://channel9.msdn.com/Showpost.aspx?postid=231495

-- 
Leandro Lucarella (luca) | Blog colectivo: http://www.mazziblog.com.ar/blog/
----------------------------------------------------------------------------
GPG Key: 5F5A8D05 (F8CD F9A7 BF00 5431 4145  104C 949E BFB6 5F5A 8D05)
----------------------------------------------------------------------------
PADRES DENUNCIAN QUE SU HIJA SE ESCAPO CON UN PARAGUAYITO
	-- Crónica TV