我想知道是否可以在 F# 类型提供程序中使用 System.Type 作为静态参数,以便我可以编写如下内容:
type HelperType = HelperProvider<typeof<int>>
这个想法是,是否可以让类型提供程序基于一些 .NET 类型生成一些辅助类型。
最佳答案
不,类型提供程序参数只能是原始类型(如 int
和 string
)。您能做的最好的事情是将类型名称作为字符串:
type HelperType = HelperProvider<"int">
这将适用于原始类型(和标准类型),但它不适用于之前在使用类型提供程序的文件(或项目)中定义的类型。
据我所知,这绝对是 F# 团队一直在研究的东西——它将允许一些有趣的元编程应用程序。目前的主要重点是数据访问,所以这不是一个优先事项(出于好奇,您有什么应用程序?)
顺便说一句 - 将类型作为参数传递可能会导致一些有趣的棘手问题。例如,编译器将如何处理这样的事情:
type A = MyProvider<B>
and B = MyProvider<A>
关于f# - 是否可以在 F# 类型提供程序中使用 System.Type 作为静态参数?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/20779413/