Why Typing Erlang is Hard (and what can we do about it)

I heard before that Erlang and the BEAM did not pack a static type system
because their creators “couldn’t build it”. Read more


Trace-Based Testing in Erlang

Almost every practical algorithm is non-deterministic by design. Unpredictable process scheduling has to be dealt with in concurrent programs, network reorders and delays messages randomly, and fault-tolerant systems can experience failover at any time. I... (more…)

Read more »