[erlang-questions] Extracting detailed information from TypEr/Dialyzer

[Scott Lystig Fritchie]

Edmond Begumisa <ebegumisa@REDACTED> wrote:

eb> Of course, to make use of this, you have to migrate to UBF(A)
eb> encoding for the actual messages between processes. 

That isn't true today.  You can use UBF(A), JSON-RPC (JSON over HTTP),
JSON over TCP, EBF (Erlang's native term_to_binary() serialization
format), and (work still in progress, I'm not quite certain) Thrift.

eb> Actually, there's an idea: maybe someone should write a contract
eb> checker for gen_fsm that uses ordinary Erlang-terms rather than
eb> UBF(A) encoding.

I believe that's already done: that protocol is called 'etf', IIRC.

-Scott

P.S.  While Joe Armstrong's original implementation & docs are useful,
the work that Joe Norton has done with the fork at github.com/norton/ubf
(and the ubf-thrift and ubf-jsonrpc and ubf-eep8 and ubf-bertrpc and
ubf-abnf) is under active development & maintenance.

P.P.S.  Joe Norton will be giving a hands-on tutorial on UBF on 15
November, the day before the EUC in Stockholm.