我在想，是否有可能将 haskell 强大的类型系统集成到像 C 这样的语言中，并且仍然能够进行高效的底层编程？
最佳答案
有人尝试创建低级语言，这些语言使用高级类型系统来确保低级编程的安全。这些类型系统实际上通常比 Haskell 的更先进，并且允许诸如在编译时确保安全访问指针和不越界访问数组之类的事情。
其中一种语言是 ATS (Applied Type System)除了 Haskell 的许多类型系统功能外，它还支持线性和依赖类型。
关于c - C 中类似 Haskell 的类型系统，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/5290408/