ErlT – Erlang dialect with static typing

Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing. – WhatsApp/erlt… 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 »