Type-safe language for the Erlang VM and JavaScript runtimes now supports external annotations for external types.
An important aspect in software engineering is the ability to distinguish between premature, unnecessary, and necessary ...