[erlang-questions] ThinkingParallel interview

Adam Langley <>
Wed Mar 21 20:24:27 CET 2007


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

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


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

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

More information about the erlang-questions mailing list