dhh1128 / intent

the intent formal language
https://intentlang.org
2 stars 1 forks source link

solve deadlocks potential and OOP problems with scala actors #49

Open dhh1128 opened 10 years ago

dhh1128 commented 10 years ago

See the "Evaluation" section of http://savanne.be/articles/concurrency-in-erlang-scala/.

The OOP problem we can solve by disallowing method access on actors; if it's an actor, only messages are allowed as the interface.

The deadlock problem may be solvable through static analysis of possible interactions.