首页
标签
linear-types
为什么线性数组的类型签名与普通数组相比会发生变化？
为什么 GHC 不认为函数是线性的？
使用线性类型降低高阶函数
为什么 Haskell 9.0 的线性类型没有零，而 Idris 2 有？
线性类型让递归函数的绑定解决方法
F* 是否支持线性类型？
您应该如何对线性类型的字符串执行简单的只读字符串操作？
线性类型如何阻止 "duplicate" 的这种实现？
Idris 的“BorrowedType”背后的意图是什么？
有没有办法在 Haskell 中模拟线性类型？