Type-safe language for the Erlang VM and JavaScript runtimes now supports external annotations for external types.

In some sense, it’s comparable to new users of spreadsheets who think they can generate an accounting package. There are good ...