A+：阵列编程语言，由摩根·斯坦利公司在1980年代在APL的基础上开发起来的，现在使用GPL授权。Ada：是一种表现能力很强的通用程序设计语言，它能大大改善软件系统的清晰性， 可靠性， 有效性， 可...