C中类似Haskell的类型系统

Question

16

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

- Ishihara

4个回答

3

我最近发现了一些相关内容：

Habit编程语言（lambda-the-ultimate.org）

它是Haskell的一个方言，但专注于低级系统编程。

- Christian Klauser

1

这基本上是Mozilla http://www.rust-lang.org/ 的目标。

- singpolyma

1

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

- L̲̳o̲̳̳n̲̳̳g̲̳̳p̲̳o̲̳̳k̲̳̳e̲̳̳

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- sepp2k · Accepted Answer

曾经有人尝试创建低级语言，利用先进的类型系统使得底层编程更加安全。这些类型系统通常甚至比Haskell的还要先进，可以在编译时确保指针被安全访问以及数组不会越界。

其中一种语言是ATS（应用类型系统），除了许多Haskell的类型系统特性外，还支持线性和依赖类型。