[erlang-questions] Erlang and Akka

[Vlad Dumitrescu]

On Mon, Sep 1, 2014 at 11:06 PM, Wojtek Narczyński <wojtek@REDACTED>
wrote:

Maybe internalizing UBF into erlang somehow would be a way to go?

 I’m all for that too. There are some higher-level questions to be
answered:

   - should the contract checker be hard-linked to UBF(A), the wire format?
   If used only internally, it seems reasonable to let it understand the
   Erlang binary format
   - since 2002, Erlang got type descriptions and specifications; should
   these be used for describing the protocols? Again, it seems reasonable to
   be able to refer to existing types from the source code.
   - should it be possible to turn the contract checker on and off,
   preferably without performance impact when off?

regards,
Vlad
​
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20140902/04938218/attachment.htm>