Type-safe language for the Erlang VM and JavaScript runtimes now supports external annotations for external types.
Linux offers control, security, and freedom, but its learning curve, software, and hardware issues may challenge some users.