[erlang-questions] examples for erlang with joins

[Vlad Dumitrescu]

Hi,

2009/3/8 Hubert Plociniczak <hubert.plociniczak@REDACTED>:
> I've been working recently on extending Erlang with constructs that allow
> for matching on multiple messages in the mailbox.
> The idea comes from Join-calculus, and its implementation in languages like
> Polyphonic C# or JoCaml.
> So, programmers should be able to write for example:
>
> receive
>   {foo, One} and {bar, Two} when (One > Two) ->
>     expr.....;
>  ....
> end

Thiss looks interesting, but could you please describe the semantics
of the above example? Does it match for the two messages in sequence,
does one of them have to be the first in queue, is order important?

best regards,
Vlad