换句话说，你喜欢 Java 的理由和我喜欢 Ada 的理由相同。强类型和语法大大减少了调试时间。此外，形式化检查（使用 SPARK，Ada 的子集，与 Apache 无关）有助于减少错误数量。
只是我更喜欢冗长的语法 “if .. then .. else .. end if” 而不是紧凑的基于 {} 的语法。
“还有谁在为软件使用类似的名字？”
说起这个... 在 90 年代，当你尝试搜索关于 SPICE（电路模拟器）的内容时，你会得到很多与 “Spice Girls”（辣妹组合）相关的结果...
如今，如果你尝试搜索关于 Ada（编程语言）的内容，你会得到1) 与美国残疾人法案相关的页面2) 与美国牙医协会相关的页面3) 一些亚洲语言（我认为是台语）的几个页面，其中 “ada” 似乎是一个常用词（介词？连词？）
作者评论
换句话说，你喜欢 Java 的理由和我喜欢 Ada 的理由相同。强类型和语法大大减少了调试时间。此外，形式化检查（使用 SPARK，Ada 的子集，与 Apache 无关）有助于减少错误数量。
只是我更喜欢冗长的语法 “if .. then .. else .. end if” 而不是紧凑的基于 {} 的语法。
“还有谁在为软件使用类似的名字？”
说起这个... 在 90 年代，当你尝试搜索关于 SPICE（电路模拟器）的内容时，你会得到很多与 “Spice Girls”（辣妹组合）相关的结果...
如今，如果你尝试搜索关于 Ada（编程语言）的内容，你会得到
1) 与美国残疾人法案相关的页面
2) 与美国牙医协会相关的页面
3) 一些亚洲语言（我认为是台语）的几个页面，其中 “ada” 似乎是一个常用词（介词？连词？）