Но есть и другая сторона. CSP конкретно и channel-first подходы к конкуретности заходят на порядок лучше чем то же метаописание IO на Хаскеле и копии на всяких ваших Скалах (cats, zoo). Хотя есть ряд задач, где последнее приятнее, но каналы, которые блокируются в очень понятных даже новичку ситуациях и ведут себя интуитивно гораздо практичнее чем какой-то DSL, пусть и основанный на подвигах математики 22 века.