听群里诸君介绍，才知道什么叫孤陋寡闻。

总觉得ada，smalltalk这些很少有人用的语言，是落后的代表。。
去年得知m4用于bison的后端生成，很惊讶。 去查了，m4是大佬写的，图灵完备的宏语言。

在国内搞技术，真的很容易坐井观天。。

【 在 Dieken 的大作中提到: 】
: Ada 最早是给嵌入式领域用的，Ada/Spark 支持形式化验证，在硬件领域要求高可靠，错的代价太高了。
:
: :
--
FROM 39.183.19.*