[cageface]

I should have said functional programming has "already" demonstrated an advantage in producing robust and understandable concurrent programs

Examples of this other than Erlang?