我想知道，是否有可能将haskell强大的类型系统集成到像C这样的语言中，并且仍然可以进行高效的低级编程？
答案 0 :(得分：12)
尝试创建低级语言，使用高级类型系统使低级编程安全。这些类型系统实际上通常比Haskell更先进，并且允许在编译时确保指针被安全访问并且数组不会超出边界。
其中一种语言是ATS (Applied Type System)，除了许多Haskell的类型系统功能外，它还支持线性和从属类型。
答案 1 :(得分：3)
答案 2 :(得分：1)
另请参阅BitC，这是一种用于构建经过正式验证的功能安全操作系统的语言。
答案 3 :(得分：1)
这基本上是Mozilla的http://www.rust-lang.org/
的目标