[erlang-questions] Erlang and Akka

[Wojtek Narczyński]

On 29.08.2014 05:40, Xiao Jia wrote:
> On Fri, Aug 29, 2014 at 6:10 AM, Richard A. O'Keefe <ok@REDACTED 
> <mailto:ok@REDACTED>> wrote:
>
>
>     The trick is to extend the type system to send and receive.
>     This seems like the weakest aspect of Dialyzer: I cannot
>     say "X is a process id for a process that expects
>     messages of type Y".
>
>
> This reminds me of session types.  But I have to read (and dig) more 
> about session types since I have no experience with them.

I'd love to see IMAPv4rev1 session type.

It is extremely difficult to verify protocol adherence statically.

UBF by Joe Armstrong checks things at runtime, but it's something you 
can actually use.
https://www.sics.se/~joe/ubf/site/home.html

-- 
Wojtek
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20140830/0ef262bd/attachment.htm>