VesaKarvonen
-
- 总下载次数:1,129,660
- 最后更新:7/5/2021
- 最新版本: 0.5.1
Hopac 是一个用于 F# 高阶、并行、异步和并发编程的库。它受到 Concurrent ML 和 Cilk 等语言的影响,Hopac 是一个旨在使 F# 更容易... 更多信息 -
PPrint
作者: VesaKarvonen-
- 总下载次数:33,660
- 最后更新:1/2/2016
- 最新版本: 2.0.0
PPrint 是一个基于 Wadler 和 Leijen 的工作的 F# 实用打印库。 -
-
Infers
作者: VesaKarvonen- 总下载次数:14,736
- 最后更新:5/23/2016
- 最新版本: 0.2.3
Infers 是一个从它们的类型推导 F# 值的库,并且在某种程度上是 Curry-Howard 对应的直接应用。想法是将 F# 成员函数的类型视为 Horn 子句。使用... 更多信息 -
- 总下载次数:14,394
- 最后更新:5/26/2016
- 最新版本: 0.2.11
Infers.Toys 提供了一组对 F# 来说是实验性的数据类型通用函数集合。Infers.Toys 主要是为了展示可能性,而不是提供最好的… 更多信息 -
- 9,246 总下载量
- 最后更新于 2016/5/23
- 最新版本: 0.2.3
Infers.Rep 提供了规则,使 Infers 能够根据乘积求和表示法生成 F# 类型的表示和高效的访问器。这些表示设计用于实现… 更多信息 -
- 1,237 总下载量
- 最后更新于 2016/1/2
- 最新版本: 1.0.0
PPrint 的控制台打印扩展。