Ada 最早是给嵌入式领域用的，Ada/Spark 支持形式化验证，在硬件领域要求高可靠，错的代价太高了。


【 在 hgoldfish 的大作中提到: 】
: 是不是因为这个语言比较简单，比较自洽。适合写严肃的业务脚本。
:
--
FROM 124.64.120.*