@inthehands @finestructure IMO type safety is as important as memory safety is. Type errors in dynamic languages exposed to users are just as bad as memory corruption bugs. Non-technical users really wouldn't see a difference between "core dumped" and "undefined is not an object", and the end result is the same: frustration.