Ish*_*ara 17 c haskell type-systems low-level type-safety
我想知道,是否有可能将haskell强大的类型系统集成到像C这样的语言中,并且仍能够进行高效的低级编程？
sep*_*p2k 12
已经尝试创建使用高级类型系统来使低级编程安全的低级语言.这些类型系统实际上通常比Haskell更先进,并且允许在编译时确保指针被安全访问并且数组不被访问超出范围.
一种这样的语言是ATS(应用类型系统),除了许多Haskell的类型系统功能外,它还支持线性和从属类型.