在需要高度安全性的系统开发中，应选择哪一类语言？

静态类型语言在编译时能提前检测类型错误，有助于提高程序的安全性和稳定性，因此在安全性要求高的系统中更常用。