functional-programming - 核电站的函数式编程？

Question

阅读后this question我只是想知道在关键任务行业使用 Haskell(或其他函数式编程语言)是否是个好主意。

除了 Erlang，大多数语言都遵循命令式/契约式设计范式(Ada、Eiffel、C++)。

但是功能性的呢？

生成的代码将易于维护、稳定，并且可以在编译时通过其严格的类型系统消除许多潜在的错误。
还是懒惰评估比帮助更危险？还有其他安全缺陷吗？

Answer 1

我想你可以。该语言似乎非常适合这种情况，假设您足够信任编译器以在关键任务情况下使用它。

请记住，在关键任务情况下，不仅您的代码受到审查，所有其他组件也受到审查。这包括编译器(Haskell 编译器不是最容易进行代码审查的编译器之一)，运行软件的适当认证硬件，编译代码的适当硬件，引导编译器编译的硬件， hell - 甚至连线将所有这些连接到电网和 socket 中电压变化的频率。

如果您对关键任务软件质量感兴趣，我建议您查看 NASA software quality procedures .他们非常严格和正式，但是这些人在太空中投入了数百万美元，希望它能够在非常恶劣的条件下存活下来，并能够到达火星或任何地方，然后自主操作并将一些火星人的漂亮照片发送回地球。

所以，你去吧:Haskell 适用于关键任务情况，但在那里引导其使用将是一个昂贵的过程。