3 ms·

Strong typing and static typing - yes please.

• afiori 6y ago
  In terms of adding types to deeply dynamic languages I think Julia had the best approach: sub-typing and union types. It has the advantage that it is possible to give a reasonable type to most functions without a rewrite (even if the types would be terribly long to accommodate the weak underlying type system)