Network Programming in Elixir and Erlang (PragProg)

Learning Resources Books
, , ,
21

Working through this has made me think, what resources/books would people suggest on protocol design and validation?

Any RFC’s with good practices or things to avoid?

I believe that Model Checking is also a useful tool for validating Protocol design, tools like TLA+ or SPIN, but wondered if any tools exist to model a protocol and generate code for the BEAM? (Hope that makes sense!)

1 Like
22

I’m glad people interested of this elixir usage, I think it’s really shines in this kind of products with high level abstraction built in binary matching, encoding tool for a language for parts and its OTP framework to make those parts communicating. If you want even more declarative and abstract way to work with such binary parts I want to suggest lib I recently published - BinStruct - library for writing declarative code to get rich generated set of binary parsing/encoding features

You will be able to run everything lib generates in iex, very useful and flexible at development time and will be same useful in prod later