>You could also argue that Haskell's STM is even safer than using CSP channels (which also exist in Haskell) since you greatly decrease your chance of data race

>You could also argue that Haskell's STM is even safer than using CSP channels (which also exist in Haskell) since you greatly decrease your chance of data races We actually have transactional and non-transactional channels as well, which is pretty cool. Also the reason for using STM instead of channels is that they compose without the possibility of deadlock. You can have deadlocks with channels.