On 5/30/12 12:17 PM, Alex Rønne Petersen wrote:
The result is a feature that is arguably only useful in small laboratory
cases. Are you sure we shouldn't revisit shared and try to work out a
bridge between the unshared and shared world?
We're as always open to suggestions.
There exist type systems that avoid locks. They are very restrictive and
difficult to work with.
I can think of 3 languages that have monitors in the "type" system: D,
C# (as a result of the CLR's design; mostly because they wanted Java
interoperability), and Java. Are you really saying all other type
systems are difficult to work with just because of this little thing?
Apologies, meant "avoid deadlocks" instead of "avoid locks".
Andrei
