[erlang-questions] ThinkingParallel interview

[Adam Langley]

http://www.thinkingparallel.com/2007/03/20/ten-questions-with-joe-armstrong-about-parallel-programming-and-erlang/

In one of your answers, you name a few features that you would
consider for a second-system implementation of Erlang.

Some of the points are clear (I'm thinking of the
distributed/capability ideas, much of which have been fleshed out by
others[1]).

But would you mind elaborating on what you had in mind when you spoke
of first-class protocols and a contracts system for them. Are you
thinking of a type-system for protocols? If so, how do you see it
working?


Thanks

[1] http://www.erights.org/

-- 
Adam Langley                                      agl@REDACTED
http://www.imperialviolet.org                       650-283-9641