c - C中的类Haskell类型系统

Question

我想知道，是否有可能将 haskell 强大的类型系统集成到像 C 这样的语言中，并且仍然能够进行有效的低级编程？

score 12 · Accepted Answer

已经尝试创建使用高级类型系统的低级语言来使低级编程安全。这些类型系统实际上通常比 Haskell 的系统更先进，并且允许在编译时确保安全地访问指针并且不会越界访问数组。

一种这样的语言是ATS（应用类型系统），除了 Haskell 的许多类型系统功能外，它还支持线性和依赖类型。

score 3 · Accepted Answer

我最近偶然发现了一些相关的东西：

习惯编程语言(lambda-the-ultimate.org)

它是 Haskell 的一种方言，但面向低级系统编程。

score 1 · Accepted Answer

另请参阅BitC，一种正在开发的语言，用于构建经过正式验证的功能安全操作系统。

score 1 · Accepted Answer

1

于 2012-09-14T22:16:51.907 回答

4 回答 4