时间戳

首页 > 解决方案 > F# 可区分联合类型可以使用类型签名中未定义的泛型吗？

generics - F# 可区分联合类型可以使用类型签名中未定义的泛型吗？

问题描述

我是 F# 的新手，我正试图让这样的事情起作用：

type transform<'a, 'b> = 'a -> 'b

type transformPipeline<'a, 'b> =
  | SingleStep of transform<'a, 'b>
  | MultiStep of (transformPipeline<'a, 'c> * transform<'c, 'b>)

这目前不编译，它说The type parameter 'c is not defined。我在这里要做的就是将这些管道链接在一起，这样我就可以保证中间类型'c可以传递给右侧的转换，但我不知道如何将它传达给类型系统。有任何想法吗？

标签： genericstypesf#

解决方案

推荐阅读