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

23

Hey did you ever get an answer for this or go down this rabbit hole?

24

Heya mate.

On my list to read more on! Will let you know what I find