首页
程序开发
写作辅助
多媒体
实用工具
博客
当前分类：
linear-types
haskell - 为什么 Haskell 9.0 的线性类型没有零，而 Idris 2 有？
arrays - 与普通数组相比，为什么线性数组的类型签名会发生变化？
haskell - 为什么 GHC 不将该函数识别为线性函数？
haskell - 线性类型让递归函数的绑定(bind)解决方法
haskell - 使用线性类型降低高阶函数
haskell - 线性类型如何防止 "duplicate"的这种实现？
ocaml - OCaml 中的线性类型
linear-types - F* 是否支持线性类型？
.net - 如何在 C#/.Net 中表示线性类型？
haskell - 有没有办法在 Haskell 中模拟线性类型？
hacklang - hacklang 中的线性类型 : Statically forcing an order of function calls
idris - Idris 的 `BorrowedType` 背后的意图是什么？
«
1
»
热门标签：
编程
数据结构与算法
其他