标签： haskell mission-critical
可能重复： Using Haskell for sizable real-time systems: how (if?) ?
在任务关键型软件中使用Haskell是否可行？ （如航空电子，航天技术等）