除Java外，还有哪些编程语言使用checked exceptions？

嘿，这个问题问得挺有意思的！其实除了Java之外，还有不少编程语言支持checked exceptions，我给你梳理几个常见的：

• Ada：作为一门老牌的强类型编程语言，Ada很早就内置了checked exceptions机制。子程序（类似Java的方法）必须明确声明可能抛出的异常，编译器会强制检查调用方是否处理这些异常，这一点和Java的设计非常相似。
• Swift：Swift里的throws关键字实现的就是类似checked exceptions的逻辑。当你标记一个方法为throws时，调用它必须用do-catch块处理异常，或者在调用者的方法签名中继续声明throws向上传递，编译器会严格执行这个检查。
• Scala：作为JVM生态的语言，Scala完全兼容Java的checked exceptions，同时自身也支持在方法签名中声明需要抛出的checked exceptions，编译器会进行对应的检查。
• C#（早期版本）：C# 1.0其实有类似checked exceptions的设计，但后来团队出于设计理念的调整，在后续版本中弱化了这个特性，现在C#更偏向于使用unchecked exceptions，但历史上确实是支持过的。
• Kotlin：虽然Kotlin默认不强制要求声明checked exceptions（它把这个交给开发者自主处理），但它完全可以和Java的checked exceptions交互，而且如果你需要，也能通过自定义注解或者工具实现类似编译时检查的效果。
• PHP：从PHP 7开始，引入了Throwable体系，其中部分异常类型支持在方法签名中声明抛出，虽然PHP的检查更多是在运行时触发，但也具备了checked exceptions的核心特征。

不过要提一句，checked exceptions的设计一直存在争议，很多现代编程语言更倾向于使用unchecked exceptions来简化代码，但上述这些语言确实都在不同程度上支持了checked exceptions的机制。

内容的提问来源于stack exchange，提问作者Christiaan