Infers 0.2.3
dotnet add package Infers --version 0.2.3
NuGet\Install-Package Infers -Version 0.2.3
此命令旨在在 Visual Studio 的包管理器控制台中使用，因为它使用 NuGet 模块的 Install-Package 版本。
<PackageReference Include="Infers" Version="0.2.3" />
对于支持 PackageReference 的项目，请将此 XML 节点复制到项目文件中以引用该包。
paket add Infers --version 0.2.3
NuGet 团队不对此客户端提供支持。请联系其 维护者 以获得支持。
#r "nuget: Infers, 0.2.3"
#r 指令可用于 F# 交互式和 Polyglot 笔记本。请将此内容复制到交互式工具或脚本的源代码中以便引用包。
// Install Infers as a Cake Addin #addin nuget:?package=Infers&version=0.2.3 // Install Infers as a Cake Tool #tool nuget:?package=Infers&version=0.2.3
NuGet 团队不对此客户端提供支持。请联系其 维护者 以获得支持。
Infers 是一个用于从类型推导 F# 值的库，并在一定程度上是 Curry-Howard 对应关系的直接应用。其想法是将 F# 成员函数的类型看作 Horn 子句。然后可以使用 Prolog 风格的解析引擎来尝试证明给定的简单 F# 类型。在解析过程中，该引擎调用成员函数以构建符合目标的类型值。
| 产品 | 版本 兼容和额外的目标框架版本。 |
|---|---|
| .NET Framework | net45兼容。 net451已计算。 net452已计算。 net46已计算。 net461已计算。 net462已计算。 net463已计算。 net47已计算。 net471已计算。 net472已计算。 net48已计算。 net481已计算。 |
-
- FSharp.Core (>= 3.1.2.5)
NuGet包 (2)
显示依赖于Infers的前两个NuGet包
| 包 | 下载 |
|---|---|
|
Infers.Toys
Infers.Toys提供了一组用于F#的实验性数据类型泛型函数。Infers.Toys的主要重点是演示可能性，而不是提供最佳实现。各个泛型函数的文档通常提到了已知限制（如果有的话）。欢迎提交pull请求！ |
|
|
Infers.Rep
Infers.Rep提供规则，使Infers可以根据乘积和表示生成F#类型的表示和高效访问器。这些表示旨在允许实现高效的泛型和数据类型泛型函数。 |
GitHub仓库
此包没有被任何流行的GitHub仓库使用。
这是Infers的实验版本，不建议用于生产。