曾经有人尝试创建低级语言,利用先进的类型系统使得底层编程更加安全。这些类型系统通常甚至比Haskell的还要先进,可以在编译时确保指针被安全访问以及数组不会越界。 其中一种语言是ATS(应用类型系统),除了许多Haskell的类型系统特性外,还支持线性和依赖类型。