Composability and concurrency...

[Ramine]

Hello,


I think that Bartosz Milewski is right on what he wrote in this webpage
about "The Functional Revolution in C++":

http://bartoszmilewski.com/2014/06/09/the-functional-revolution-in-c/


Because what's i have just understand by thinking more by myself, is
that things that are "composable" are good because they enable
"abstractions", meaning that they enable us to reason about code
"without" having to care about all the "details", and that reduces also
the cognitive burden on the programmer.

So Object oriented programming is not composable in the presence
of concurrency , because when you use locks you can have deadlocks and
when you share memory or disk between threads or processes you can have
race conditions. So Bartosz Milewski is looking at a way to render
things composable, and those ways are to use immutability of functional
languages or/and to use actors or/and to use Transactional memory..


Thank you,
Amine Moulay Ramdane.