Type-safe language for the Erlang VM and JavaScript runtimes now supports external annotations for external types.
Understand why testing must evolve beyond deterministic checks to assess fairness, accountability, resilience and ...